APA-Zitierstil (7. Ausg.)

(2008). Formal methods for industrial critical systems: 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-540-79707-4

Chicago-Zitierstil (17. Ausg.)

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2008. https://doi.org/10.1007/978-3-540-79707-4.

MLA-Zitierstil (9. Ausg.)

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 ; Revised Selected Papers. Springer, 2008. https://doi.org/10.1007/978-3-540-79707-4.