Author

Profile picture
Jürgen Ruf
University of Tübingen
Tübingen, Germany
3 articles by this author
Sort by:
Optimized Temporal Logic Compilation
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 1088 | Total: 1424
 120-137
HTML
XML
PDF
Correctness of Efficient Real-Time Model ...
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: 1106 | Total: 1392
 194-209
HTML
XML
PDF
RAVEN: Real-Time Analyzing and Verification ...
Research Article
RAVEN: Real-Time Analyzing and Verification Environment
Jürgen Ruf
10.3217/jucs-007-01-0089
 28-01-2001
 Unique: 1087 | Total: 1351
 89-104
HTML
XML
PDF

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

OK