KIT | KIT-Bibliothek | Impressum

Proving nonreachability by modulo-invariants

Desel, Jörg; Neuendorf, K.-P.; Radola, M.-D.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 272796
Erscheinungsvermerk Theor. comput. sci. 153 (1996) H. 1/2 S. 49-64.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page