APA-Zitierstil (7. Ausg.)

(2011). Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Springer. https://doi.org/10.1007/978-3-642-24310-3

Chicago-Zitierstil (17. Ausg.)

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-24310-3.

MLA-Zitierstil (9. Ausg.)

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-24310-3.