Author

Profile picture
Flavio Lerda
Carnegie Mellon University
Pittsburgh, United States of America
1 article by this author
Sort by:
Model ...
Research Article
Model Checking: Software and Beyond
Edmund Clarke, Flavio Lerda
10.3217/jucs-013-05-0639
 28-05-2007
 Unique: 658 | Total: 764  | Access Period:
 639-649
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK