italiano | contact
PUBLICATION

Exploiting Transition Locality in Automatic Verification

E. Tronci, G. Della Penna, B. Intrigila, M. Venturini Zilli

11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), LNCS, 2001

Contact: ,

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›