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
Heiner, Monika
(2)
Rohr, Christian
(1)
Schwarick, Martin
(1)
Tovchigrechko, Alexey A.
(1)
Erscheinungsjahr
2016 (2)
(entfernen)
Dokumenttyp
Teil eines Buches (Kapitel) (2)
(entfernen)
Sprache
Englisch
(2)
Institut
FG Datenstrukturen und Softwarezuverlässigkeit
(2)
BTU
an der BTU erstellt / created at BTU
(2)
2
Treffer
1
bis
2
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
From Petri Nets to Partial Differential Equations: A Petri Net Perspective on Systems and Synthetic Biology
(2016)
Heiner, Monika
MARCIE’s secrets of efficient model checking
(2016)
Heiner, Monika
;
Rohr, Christian
;
Schwarick, Martin
;
Tovchigrechko, Alexey A.
1
bis
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.