KIT | KIT-Bibliothek | Impressum | Datenschutz

Zwei Beschreibungsformen fuer nebenlaeufige Systeme und ihre Transformation

Rinderspacher, Markus



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Publikationsjahr 1993
Sprache Deutsch
Identifikator KITopen-ID: 19793
Erscheinungsvermerk Karlsruhe 1993. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. 1993,12.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page