italiano | contact
PUBLICATION

Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier

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

Eighth Italian Conference on Theoretical Computer Science, LNCS, 2003

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 ›