APA (7th ed.) Citation

Appold, C. c. 2. J. (2015). Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme: = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems.

Chicago Style (17th ed.) Citation

Appold, Christian ca. 21. Jh. Symbolische BDD-basierte Modellprüfung Asynchroner Nebenläufiger Systeme: = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems. Würzburg, 2015.

MLA (9th ed.) Citation

Appold, Christian ca. 21. Jh. Symbolische BDD-basierte Modellprüfung Asynchroner Nebenläufiger Systeme: = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems. 2015.