Andrea Pescetti
发表
Roberto Bagnara,
Enea Zaffanella,
Alessandro Zaccagnini,
2005,
ArXiv.
P. Hill,
Roberto Bagnara,
E. Zaffanella,
2007
.
Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill,
2007,
ArXiv.
Frédéric Mesnard,
Roberto Bagnara,
Enea Zaffanella,
2012,
Inf. Comput..
Frédéric Mesnard,
Roberto Bagnara,
Enea Zaffanella,
2010,
ArXiv.
Roberto Bagnara,
Enea Zaffanella,
Andrea Pescetti,
2010
.