Formal verification and static analysis of molecular devices and biological systems

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Workshop on Static Analysis and Systems Biology (VerfasserIn)
Weitere Verfasser:	Feret, Jérôme (HerausgeberIn), Paulevé, Loïc (HerausgeberIn), Šafránek, David (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2019
Schriftenreihe:	Theoretical computer science volume 765 (18 April 2019)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Vorwort: On September 7, 2016, the seventh workshop on Static Analysis and Systems Biology (SASB 2016) was held in Edinburgh, as a traditional satellite event of Static Analysis Symposium (SAS)
Beschreibung:	Seite 47-66, 97-144 Diagramme