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
Rohr, Christian (4)
(remove)
Year of publication
2015
(1)
2014
(1)
2013
(1)
2010
(1)
Document Type
Conference Proceeding (4)
(remove)
Language
English
(4)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(4)
BTU
an der BTU erstellt / created at BTU
(4)
4
search hits
1
to
4
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit
(2015)
Blätke, Mary-Ann
;
Rohr, Christian
A Comparative Study of Stochastic Analysis Techniques
(2010)
Heiner, Monika
;
Rohr, Christian
;
Schwarick, Martin
;
Streif, Stefan
Coloured hybrid Petri nets for systems biology
(2014)
Herajy, Mostafa
;
Liu, Fei
;
Rohr, Christian
MARCIE - Model checking and Reachability analysis done effieciently
(2013)
Heiner, Monika
;
Rohr, Christian
;
Schwarick, Martin
1
to
4
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.