Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov. Experimental Biological Protocols with Formal Semantics. In Milan Ceska 0001, David Safránek, editors, Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings. Volume 11095 of Lecture Notes in Computer Science, pages 165-182, Springer, 2018. [doi]
Abstract is missing.