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
Deussen, Peter H.
(1)
Spranger, Jochen
(1)
Year of publication
2001
(2)
Document Type
Doctoral thesis
(2)
Language
German
(2)
Keywords
Modelchecking (2)
(remove)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(2)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
(2001)
Deussen, Peter H.
Symbolische LTL-Verifikation von Petrinetzen
(2001)
Spranger, Jochen
1
to
2
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.