

An edition of Petrinetze, lineare Algebra und lineare Programmierung (1998)
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
By Jörg Desel
Publish Date
1998
Publisher
Vieweg+Teubner Verlag
Language
ger
Pages
-
Description:
subjects: Lineare Optimierung, Petri-Netz, Lineare Algebra, Transitionssystem