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]
@inproceedings{AbateCKLY18,
title = {Experimental Biological Protocols with Formal Semantics},
author = {Alessandro Abate and Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Boyan Yordanov},
year = {2018},
doi = {10.1007/978-3-319-99429-1_10},
url = {https://doi.org/10.1007/978-3-319-99429-1_10},
researchr = {https://researchr.org/publication/AbateCKLY18},
cites = {0},
citedby = {0},
pages = {165-182},
booktitle = {Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
editor = {Milan Ceska 0001 and David Safránek},
volume = {11095},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-99429-1},
}