Experimental biological protocols with formal semantics (16th International Conference on Computational Methods in Systems Biology (CMSB), 2018)

(untitled) - Abate, A; Cardelli, L; Kwiatkowska, M; Laurenti, L; Yordanov, B