Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret. Proving the Absence of Unbounded Polymers in Rule-based Models. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 33-56, Elsevier, 2020. [doi]
@inproceedings{BoutillierPF20,
title = {Proving the Absence of Unbounded Polymers in Rule-based Models},
author = {Pierre Boutillier and Aurélie Faure de Pebeyre and Jérôme Feret},
year = {2020},
doi = {10.1016/j.entcs.2020.06.003},
url = {https://doi.org/10.1016/j.entcs.2020.06.003},
researchr = {https://researchr.org/publication/BoutillierPF20},
cites = {0},
citedby = {0},
pages = {33-56},
booktitle = {Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
volume = {350},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}