Author

Profile picture
Andreas Krebs
University of Tübingen
Tübingen, Germany
1 article by this author
Sort by:
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 357 | Total: 453  | Access Period:
 120-137
HTML
XML
PDF

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

OK