KIT | KIT-Bibliothek | Impressum

Simulation-guided property checking based on multi-valued AR-automata

Ruf, Jürgen; Hoffmann, Dirk; Kropf, Thomas; Rosenstiel, Wolfgang



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Englisch
Identifikator KITopen ID: 33402001
Erscheinungsvermerk In: Proceedings. Design, Automation and Test in Europe Conference and Exhibition, DATE 2001, Munich, Germany 2001. Ed.: W. Nebel. Los Alamitos, Calif. 2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page