Search results for: Marco Roveri
Information and Computation > 2015 > 245 > C > 54-71
Software & Systems Modeling > 2011 > 10 > 2 > 147-160
2006 Formal Methods in Computer Aided Design > 125 - 133
Information and Computation > 2015 > 245 > C > 54-71
Software & Systems Modeling > 2011 > 10 > 2 > 147-160
2006 Formal Methods in Computer Aided Design > 125 - 133