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-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)Appold, Christian ca. 21. Jh. Symbolische BDD-basierte Modellprüfung Asynchroner Nebenläufiger Systeme: = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems. 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.