@inproceedings{BeyerNoack, author = {Beyer, Dirk and Noack, Andreas}, title = {BDD-basierte Verifikation von Realzeit-Systemen}, language = {de} }