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
Heiner, Monika
(2)
Rohr, Christian
(1)
Schwarick, Martin
(1)
Tovchigrechko, Alexey A.
(1)
Year of publication
2016 (2)
(remove)
Document Type
Part of a book (chapter) (2)
(remove)
Language
English
(2)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(2)
BTU
an der BTU erstellt / created at BTU
(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
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
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.