Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Author
Tovchigrechko, Alexey A.
(1)
Year of publication
2009 (1)
(remove)
Document Type
Doctoral thesis (1)
(remove)
Language
English
(1)
Keywords
Model Checking
(1)
Petri-Netz
(1)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(1)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Efficient symbolic analysis of bounded petri nets using interval decision diagrams
(2009)
Tovchigrechko, Alexey A.
1
to
1
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.