BRIM, Lubos, HAVERKORT, Boudewijn, LEUCKER, Martin und POL, Jaco van de (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540709527.

Brim, L., Haverkort, B., Leucker, M., 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. https://doi.org/10.1007/978-3-540-70952-7

Brim, 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

Brim L, Haverkort B, Leucker M, 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

Brim, Lubos/ Haverkort, Boudewijn/ Leucker, Martin/ Pol, Jaco van de (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, Programming and Software Engineering 2007, .