• search hit 7 of 10
Back to Result List

Efficient symbolic analysis of bounded petri nets using interval decision diagrams

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Alexey A. Tovchigrechko
URN:urn:nbn:de:kobv:co1-opus-10294
Document Type:Doctoral thesis
Language:English
Year of publication:2009
Tag:Model Checking; Petri-Netz
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / 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.