• search hit 9 of 10
Back to Result List

Symbolische LTL-Verifikation von Petrinetzen

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Jochen Spranger
URN:urn:nbn:de:kobv:co1-000000179
URL:http://opus.kobv.de/btu/volltexte/2007/97/
Document Type:Doctoral thesis
Language:German
Year of publication:2001
Tag:1-Stellen-Invarianten; Büchiautomaten; Büchinetze; Fixpunktiteration; LTL; Modelchecking; Petrinetze; ROBDD; Stellen/Transaktionsnetze; Tiefensuche; Verifikation; linear-time temporale Logik; nebenläufige Systeme; on-the-fly Verfahren; reduzierte geordnete binäre Entscheidungsgraphen; symbolische Tiefensuche; symbolische Verfahren
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.