KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbolic model checking by automata based set representation

Schuele, Tobias; Schneider, Klaus



Seitenaufrufe: 5
seit 01.08.2018
Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Deutsch
Identifikator KITopen-ID: 34092002
Erscheinungsvermerk In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Hrsg.: J. Ruf. Aachen 2002. S. 229-238.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page