Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Rohr, Christian"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
MARCIE - Model checking and reachability analysis done efficiently
Monika Heiner
,
Christian Rohr
,
Martin Schwarick
Lecture Notes in Computer Science
7927
, 2013, pp. 389-399
Snoopy - A unifying Petri net tool
Monika Heiner
,
Mostafa Herajy
,
Fei Liu
,
Christian Rohr
,
Martin Schwarick
Lecture Notes in Computer Science
7347
, 2012, pp. 398-407
Snoopy - A unifying Petri net framework to investigate biomolecular networks
Christian Rohr
,
Wolfgang Marwan
,
Monika Heiner
Bioinformatics
26
(7), 2010, pp. 974-975