Addison-Wesley · Springer, Berlin
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... in Real-Time & Fault-Tolerant Systems) | 978-3-540-65003-4 (3-540-65003-2) | 1998 | Anders P. Ravn | |
| Introduction to Programming using SML | 978-0-201-39820-5 (0-201-39820-6) | 1999 | Michael Hansen |
Hannes Reichl · Hannes Rickli · Hans Riesel · Hans Rochol · Heinz Risel