| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr |
|---|---|---|
| Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems | 978-3-540-25576-5 (3-540-25576-1) | 2005 |
Heinrich Ch Rust · Heinrich Chr. Rust · Heinrich Christian Rust