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]
Abstract is missing.