American Psychological Association 6th edition

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

ISO-690 (author-date, English)

NICOL, David M., 2006. Simulation and verification of dynamic systems : executive summary. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik].

Modern Language Association 9th edition

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

Mohr Siebeck - Recht (Deutsch - Österreich)

Nicol, David M.: Simulation and verification of dynamic systems : executive summary, [Wadern] 2006.

Emerald - Harvard

Nicol, D.M. (2006), Simulation and verification of dynamic systems : executive summary, Dagstuhl seminar proceedings 06161, Vol. , [Internat. Begegnungs- und Forschungszentrum für Informatik], [Wadern], available at:https://doi.org/urn:nbn:de:0030-drops-7028.

Warning: These citations may not always be 100% accurate.