KIT | KIT-Bibliothek | Impressum

Projections of the reachability graph and environment models

Krumm, Heiko



Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Buchaufsatz
Jahr 1990
Sprache Englisch
Identifikator KITopen ID: 4890
Erscheinungsvermerk In: Automatic verification methods for finite-state-systems. Ed.: J. Sifakis. Berlin 1990. S. 89-96. (Lecture notes in computer science. 407.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page