Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems - Appold, Christian ca. 21. Jh (2015)