Constructing and visualizing chemical reaction networks from pi-calculus models

  1. John, M.
  2. Schulz, H.-J.
  3. Schumann, H.
  4. Uhrmacher, A.M.
  5. Unger, A.
Zeitschrift:
Formal Aspects of Computing

ISSN: 0934-5043 1433-299X

Datum der Publikation: 2013

Ausgabe: 25

Nummer: 5

Seiten: 723-742

Art: Artikel

DOI: 10.1007/S00165-011-0209-0 GOOGLE SCHOLAR