(2006). Formal modeling and analysis of timed systems: 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / Eugene Asarin, Patricia Bouyer (eds.).
Chicago-Zitierstil (17. Ausg.)Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006 : Proceedings / Eugene Asarin, Patricia Bouyer (eds.). 2006.
MLA-Zitierstil (9. Ausg.)Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006 : Proceedings / Eugene Asarin, Patricia Bouyer (eds.). 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.