@InProceedings{ACK+18,
author={Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, and Boyan Yordanov},
title={Experimental Biological Protocols with Formal Semantics},
booktitle={Proc. 16th International Conference on Computational Methods in Systems Biology ({CMSB} 2018)},
year={2018},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={To appear.}
}