@misc{indiciae27e2d5d9b836,
  title = {Formal characterization and efficient verification of a biological robustness property},
  author = {Lucia Nasti and Roberta Gori and Paolo Milazzo},
  year = {2021},
  url = {https://arxiv.org/abs/2104.13831},
  note = {Source identifier: 2104.13831}
}