Enrico Tronci Home Page
Adddress
Telcom
Enrico Tronci
Dipartimento di Informatica
Università di Roma "La Sapienza"
Via Salaria 113,
00198 Roma
Italy
Tel: +39-06-49918361
Fax: +39-06-8541842
email: tronci@di.uniroma1.it
url: http://www.dsi.uniroma1.it/~tronci
See the
Model Checking Lab
Web Pages for an overview of my research activity.