FMICS Florenz. (2014). Formal methods for industrial critical systems: 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014. Springer.
Chicago-Zitierstil (17. Ausg.)FMICS Florenz. Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014. Cham [u.a.]: Springer, 2014.
MLA-Zitierstil (9. Ausg.)FMICS Florenz. Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014. Springer, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.