Publication - Proceedings Article Efficient synthesis of graph methods

https://doi.org/10.1145/2966986.2967030
Conference Proceedings
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Authors
Marco Minutoli, Vito Giovanni Castellana, Antonino Tumeo, Marco Lattuada, Fabrizio Ferrandi
English