KOWALEWSKI, Stefan und ROVERI, Marco (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642158988.
Elsevier - Harvard (with titles)Kowalewski, S., Roveri, M. (Hrsg.), 2010. Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-15898-8
American Psychological Association 7th editionKowalewski, S., … Roveri, M. (Hrsg.). (ca. 2010). Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15898-8
Springer - Basic (author-date)Kowalewski S, Roveri M (Hrsg.) (2010) Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Kowalewski, Stefan/ Roveri, Marco (Hrsg.), Formal Methods for Industrial Critical Systems : 15 th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Programming and Software Engineering 2010, .