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)
Document Type
Doctoral thesis
(1)
Language
English
(1)
Keywords
Model Checking (1)
(remove)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(1)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
100
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.