• search hit 49 of 144
Back to Result List

Combining structural properties and symbolic representation for efficient analysis of Petri nets

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Jochen Spranger
URL:http://www-dssz.informatik.tu-cottbus.de/publications/papers/1998_jsp_csp.pdf
Title of the source (English):Workshop Concurrency, Specification & Programming, September 28 - 30, 1998
Publisher:Professoren des Institutes für Informatik
Place of publication:Berlin
Document Type:Conference Proceeding
Language:English
Year of publication:1998
First Page:236
Last Page:244
Comment:
referiert
Series ; volume number:Informatik-Berichte, Humboldt-Universität zu Berlin ; 110
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.