italiano | contact

Model Checking

Doron Peled, Patrizio Pelliccione, and Paola Spoletini

Wiley Encyclopedia of Computer Science and Engineering 6th Edition. Online ISBN 978-0-470-05011-8 Print ISBN 978-0-471-38393-2. Published by John Wiley & Sons, 2008., 2008

Contact: ,



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

continua ›


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

continua ›

Job Postings

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

continua ›