Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Antoniotti, M."
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Taming the complexity of biochemical models through bisimulation and collapsing: Theory and practice Publikation auswählen
M. Antoniotti, C. Piazza, A. Policriti, M. Simeoni, B. Mishra

Theoretical Computer Science 325 (1), 2004, pp. 45-67

Editors  G. Ausiello, D. Sannella
Publisher:  Elsevier B.V.
 
Keywords:   biochemical models, hybrid automata, bisimulation, collapsing
 
URL:   http://dx.doi.org/10.1016/j.tcs.2004.03.064