(2012). Formal modeling and analysis of timed systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
Chicago-Zitierstil (17. Ausg.)Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.). 2012.
MLA-Zitierstil (9. Ausg.)Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.). 2012.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.