American Psychological Association 6th edition

Nicol, D. M. [ca. 2006]. Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar. In Dagstuhl seminar proceedings 06161 [Cd]. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik]. https://doi.org/urn:nbn:de:0030-drops-7102

ISO-690 (author-date, English)

NICOL, David M., 2006. Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik].

Modern Language Association 9th edition

Nicol, D. M. „Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar“. Dagstuhl seminar proceedings 06161, cd, [Internat. Begegnungs- und Forschungszentrum für Informatik], 2006, https://doi.org/urn:nbn:de:0030-drops-7102.

Mohr Siebeck - Recht (Deutsch - Österreich)

Nicol, David M.: Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar, [Wadern] 2006.

Emerald - Harvard

Nicol, D.M. (2006), Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar, Dagstuhl seminar proceedings 06161, Bd. , [Internat. Begegnungs- und Forschungszentrum für Informatik], [Wadern], verfügbar unter:https://doi.org/urn:nbn:de:0030-drops-7102.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.