Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings. In Pedro Mendes, Joseph O. Dada, Kieran Smallbone, editors, Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Volume 8859 of Lecture Notes in Computer Science, pages 129-142, Springer, 2014. [doi]
Abstract is missing.