Proving nonreachability by modulo-invariants

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

Seitenaufrufe: 15
seit 12.06.2019

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Zeitschriftenaufsatz
Publikationsjahr	1996
Sprache	Deutsch
Identifikator	KITopen-ID: 272796
Erscheinungsvermerk	Theor. comput. sci. 153 (1996) H. 1/2 S. 49-64.