Experimental biological protocols with formal semantics

Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the pro...

Full description

Bibliographic Details
Main Authors: Abate, A, Cardelli, L, Kwiatkowska, M, Laurenti, L, Yordanov, B
Format: Conference item
Published: Springer Verlag 2018