APA (7th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany, PDMC 2006, & Brim, L. (2007). Formal methods: Applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany, PDMC 2006, and Lubǒs Brim. Formal Methods: Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : Revised Selected Papers. Berlin ; New York: Springer, 2007.

MLA (9th ed.) Citation

International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany, et al. Formal Methods: Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : Revised Selected Papers. Springer, 2007.