Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
- Editors
Conference proceedings
FORMATS 2008
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5215)