| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Communicating Embedded Systems: Software and Design | 978-1-84821-143-8 (1-84821-143-0) | 2009 | Olivier H. Roux | |
| Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues) | 978-3-540-85777-8 (3-540-85777-X) | 2008 | Franck Cassez | |
| Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures | 978-3-540-42787-2 (3-540-42787-2) | 2008 | Mark D. Ryan · Brigitte Rozoy · Franck Cassez |