APA-Zitierstil (7. Ausg.)

Legay, A. (2014). Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; proceedings. Springer. https://doi.org/10.1007/978-3-319-10512-3

Chicago-Zitierstil (17. Ausg.)

Legay, Axel. Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; Proceedings. Cham [u.a.]: Springer, 2014. https://doi.org/10.1007/978-3-319-10512-3.

MLA-Zitierstil (9. Ausg.)

Legay, Axel. Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 ; Proceedings. Springer, 2014. https://doi.org/10.1007/978-3-319-10512-3.