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
Spranger, Jochen
(1)
Year of publication
2001
(1)
Document Type
Doctoral thesis (1)
(remove)
Language
German
(1)
Keywords
Fixpunktiteration (1)
(remove)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(1)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Symbolische LTL-Verifikation von Petrinetzen
(2001)
Spranger, Jochen
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.