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
(5)
Breitling, Rainer
(2)
Gilbert, David
(2)
Schwarick, Martin
(2)
Donaldson, Robin
(1)
Priami, C.
(1)
Tovchigrechko, Alexey A.
(1)
Erscheinungsjahr
2009
(5)
Dokumenttyp
Konferenzveröffentlichung
(3)
Wissenschaftlicher Zeitschriftenartikel nicht referiert
(1)
Teil eines Buches (Kapitel)
(1)
Sprache
Englisch
(5)
Schlagworte
Petri Nets (5)
(entfernen)
Institut
FG Datenstrukturen und Softwarezuverlässigkeit
(5)
5
Treffer
1
bis
5
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
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
bis
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.