• search hit 100 of 144
Back to Result List

On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Monika HeinerORCiD
ISBN:3-901608-11-7
Title of the source (English):Proceedings, IMACS Symposium on Mathematical Modelling, February 5 - 7, 1997, Technical Univ. Vienna, Austria, 2nd Mathmod Vienna
Publisher:ARGESIM
Place of publication:Vienna
Document Type:Conference Proceeding
Language:English
Year of publication:1997
First Page:171
Last Page:176
Comment:
referiert
Series ; volume number:ARGESIM report ; 11
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.