ISO-690 (author-date, English)

VAN DER POL, Jaco und WEBER, Michael (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642161643.

Elsevier - Harvard (with titles)

van der Pol, J., Weber, M. (Hrsg.), 2010. Model Checking Software : 17 th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-16164-3

American Psychological Association 7th edition

van der Pol, J., … Weber, M. (Hrsg.). (ca. 2010). Model Checking Software : 17 th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-16164-3

Springer - Basic (author-date)

van der Pol J, Weber M (Hrsg.) (2010) Model Checking Software : 17 th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings. Theoretical Computer Science and General Issues

Juristische Zitierweise (Stüber) (Deutsch)

van der Pol, Jaco/ Weber, Michael (Hrsg.), Model Checking Software : 17 th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings, Theoretical Computer Science and General Issues 2010, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.