• Treffer 7 von 10
Zurück zur Trefferliste

Efficient symbolic analysis of bounded petri nets using interval decision diagrams

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar
Metadaten
Verfasserangaben: Alexey A. Tovchigrechko
URN:urn:nbn:de:kobv:co1-opus-10294
Dokumentart:Dissertation
Sprache:Englisch
Erscheinungsjahr:2009
Freies Schlagwort / Tag:Model Checking; Petri-Netz
Fakultät / Fachgebiet:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Name der Einrichtung zum Zeitpunkt der Publikation: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.