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
(5)
Breitling, Rainer
(2)
Gilbert, David
(2)
Schwarick, Martin
(2)
Donaldson, Robin
(1)
Priami, C.
(1)
Tovchigrechko, Alexey A.
(1)
Year of publication
2009
(5)
Document Type
Conference Proceeding
(3)
Scientific journal article not peer-reviewed
(1)
Part of a book (chapter)
(1)
Language
English
(5)
Keywords
Petri Nets (5)
(remove)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(5)
5
search hits
1
to
5
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways
(2009)
Gilbert, David
;
Breitling, Rainer
;
Heiner, Monika
;
Donaldson, Robin
CSL model checking of biochemical networks with Interval Decision Diagrams
(2009)
Heiner, Monika
;
Schwarick, Martin
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
(2009)
Heiner, Monika
;
Schwarick, Martin
;
Tovchigrechko, Alexey A.
Formal Methods in Molecular Biology
(2009)
Heiner, Monika
;
Breitling, Rainer
;
Gilbert, David
;
Priami, C.
Understanding Network Behavior by Structured Representations of Transition Invariants
(2009)
Heiner, Monika
1
to
5
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.