@article{CKL21,
  year = {2021},
  edition = {},
  number = {},
  journal = {Computation},
  pages = {},
  publisher = {MDPI},
  school = {},
  title = {A language for modeling and optimizing experimental biological protocols},
  volume = {},
  author = {Cardelli, L and Kwiatkowska, M and Laurenti, L},
  editor = {},
  series = {}
}