Dirk Beyer, Andreas Noack. BDD-basierte Verifikation von Echtzeit-Systemen. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 79-89, Verlag Shaker, 2000.
Abstract is missing.