TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas T1 - BDD-basierte Verifikation von Realzeit-Systemen Y1 - 2000 ER -