Media type: E-Article Title: Approximating Attractors of Boolean Networks by Iterative CTL Model Checking Contributor: Klarner, Hannes; Siebert, Heike Published: Frontiers Media SA, 2015 Published in: Frontiers in Bioengineering and Biotechnology, 3 (2015) Language: Not determined DOI: 10.3389/fbioe.2015.00130 ISSN: 2296-4185 Origination: Footnote: Access State: Open Access