• search hit 1 of 144
Back to Result List

A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Monika HeinerORCiD, Peter H. Deussen
URL:http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_lille.pdf
Title of the source (English):CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996
Document Type:Conference Proceeding
Language:English
Year of publication:1996
First Page:121
Last Page:126
Comment:
referiert
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.