STOELINGA, Mariëlle und PINGER, Ralf (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642324697.
Elsevier - Harvard (with titles)Stoelinga, M., Pinger, R. (Hrsg.), 2012. Formal Methods for Industrial Critical Systems : 17 th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-32469-7
American Psychological Association 7th editionStoelinga, M., … Pinger, R. (Hrsg.). (ca. 2012). Formal Methods for Industrial Critical Systems : 17 th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-32469-7
Springer - Basic (author-date)Stoelinga M, Pinger R (Hrsg.) (2012) Formal Methods for Industrial Critical Systems : 17 th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Stoelinga, Mariëlle/ Pinger, Ralf (Hrsg.), Formal Methods for Industrial Critical Systems : 17 th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings, Programming and Software Engineering 2012, .