Author

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

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

OK