Author

Profile picture
Tobias Vollmer
University of Augsburg
Germany
1 article by this author
Sort by:
Research Article
Correctness of Efficient Real-Time Model Checking
Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
10.3217/jucs-007-02-0194
 28-02-2001
 Unique: 405 | Total: 490  | Access Period:
 194-209
HTML
XML
PDF

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

OK