English
Open Access
Startseite
Suchen
Browsen
Publikationen eintragen
Hilfe
Schließen
Fakultät / Fachgebiet
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Datenstrukturen und Softwarezuverlässigkeit
Filtern
Autor*in
Spranger, Jochen
(1)
Erscheinungsjahr
2001
(1)
Dokumenttyp
Dissertation (1)
(entfernen)
Sprache
Deutsch
(1)
Schlagworte
Fixpunktiteration (1)
(entfernen)
Institut
FG Datenstrukturen und Softwarezuverlässigkeit
(1)
1
Treffer
1
bis
1
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Symbolische LTL-Verifikation von Petrinetzen
(2001)
Spranger, Jochen
1
bis
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.