REAL-TIME SYSTEMS: Formal Specification and Automatic Verification
Ernst-Rüdiger Olderog and Henning Dierks
About
Recommendations
Sources
Errata
Links
Contact
You can find contact information on our homepages:
Ernst-Rüdiger Olderog
Henning Dierks
