Anders Franzén
发表
Raian Ali,
Alberto Griggio,
Paolo Giorgini,
2009
.
Raian Ali,
Alberto Griggio,
Paolo Giorgini,
2012,
BMMDS/EMMSAD.
Alberto Griggio,
Alessandro Cimatti,
Roberto Sebastiani,
2010,
TACAS.
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2007,
CAV.
Alessandro Cimatti,
Roberto Sebastiani,
Alexander Nadel,
2010,
Formal Methods in Computer Aided Design.
Marco Roveri,
Alessandro Cimatti,
R. K. Shyamasundar,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Roberto Bruttomesso,
Alberto Griggio,
Alessandro Cimatti,
2006,
Annals of Mathematics and Artificial Intelligence.