BDD-basierte Verifikation von Echtzeit-Systemen

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

Abstract is missing.