APA-Zitierstil (7. Ausg.)

(2012). Formal modeling and analysis of timed systems: 10th international conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; Proceedings. Berlin [u.a.]: Springer, 2012.

MLA-Zitierstil (9. Ausg.)

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18 - 20, 2012 ; Proceedings. Springer, 2012.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.