(2011). FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-14261-1
Chicago-Zitierstil (17. Ausg.)FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-14261-1.
MLA-Zitierstil (9. Ausg.)FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-14261-1.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.