@misc{indiciae54f63c5ab553,
  title = {Model-checking ecological state-transition graphs},
  author = {Thomas, C. and Cosme, M. and Gaucherel, C. and Pommereau, F.},
  year = {2021},
  doi = {10.1101/2021.11.19.469210},
  url = {https://www.biorxiv.org/content/10.1101/2021.11.19.469210v1},
  note = {Source identifier: 10.1101/2021.11.19.469210}
}