APA-Zitierstil (7. Ausg.)
International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia), Lang, F., & Flammini, F. Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)
International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia), Frédéric Lang, und Francesco Flammini. Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : Proceedings. Cham, Suiza: Springer.
MLA-Zitierstil (9. Ausg.)
International Conference on Formal Methods for Industrial Critical Systems ( Florencia, Italia), et al. Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : Proceedings. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.