Verification of spatial and temporal modalities in biochemical systems

Chiarugi, Davide; Falaschi, Moreno; Hermith, Diana; Olarte, Carlos

doi:10.1016/j.entcs.2015.06.009

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Verification of spatial and temporal modalities in biochemical systems

MPG-Autoren

/persons/resource/persons141828

Chiarugi, Davide
Angelo Valleriani, Theorie & Bio-Systeme, Max Planck Institute of Colloids and Interfaces, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

2227293.pdf
(Verlagsversion), 243KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Chiarugi, D., Falaschi, M., Hermith, D., & Olarte, C. (2015). Verification of spatial and temporal modalities in biochemical systems. Electronic Notes in Theoretical Computer Science, 316, 29-44. doi:10.1016/j.entcs.2015.06.009.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0029-084D-6

Zusammenfassung

Es ist keine Zusammenfassung verfügbar