Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Publikation: Zeitschriftenartikel

Constructing and visualizing chemical reaction networks from pi-calculus models


Grunddaten

Titel Constructing and visualizing chemical reaction networks from pi-calculus models
Veröffentlicht in Formal aspects of computing : the internat. journal of formal methods. - London : Springer
Erscheinungsjahr 2013
Seiten (von – bis) 723 – 745
Band 25
Heft-Nr. 5
Jahr 2013
Publikationsform Druckschrift
Publikationsart Zeitschriftenartikel
Sprache Englisch
Letzte Änderung 16.05.2019 20:42:03
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/42483
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

John, Mathias
Schulz, Hans-Jörg
Schumann, Heidrun Link zur UB Rostock Link zum GBV-Katalog
Uhrmacher, Adelinde Link zur UB Rostock Link zum GBV-Katalog
Unger, Andrea

Einrichtung

IEF/Bereich Informatik