KIT | KIT-Bibliothek | Impressum

Über den Beweis von Zielen mit linear-algebraischen Techniken

Desel, Jörg



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 276296
Erscheinungsvermerk In: 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe 1996. Hrsg.: J. Desel. Karlsruhe 1996. S. 8-13. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 341.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page