Brim, L., Haverkort, B., Leucker, M. und Pol, J. van de (Hrsg.) (2007) „Formal Methods: Applications and Technology : 11 th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5 th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-70952-7.
Chicago Manual of Style 17th edition (full note)Brim, Lubos, Boudewijn Haverkort, Martin Leucker, und Jaco van de Pol, Hrsg. „Formal Methods: Applications and Technology : 11 th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5 th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-70952-7.
American Psychological Association 7th editionBrim, L., Haverkort, B., Leucker, M., … Pol, J. van de (Hrsg.). (ca. 2007). Formal Methods: Applications and Technology : 11 th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5 th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70952-7
Modern Language Association 9th editionBrim, L., B. Haverkort, M. Leucker, und J. van de Pol, Herausgeber. „Formal Methods: Applications and Technology : 11 th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5 th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-70952-7.
ISO-690 (author-date, Deutsch)BRIM, Lubos, Boudewijn HAVERKORT, Martin LEUCKER und Jaco van de POL (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540709527