@article{Klarner2015,
author = {Klarner, Hannes and Siebert, Heike},
year = {2015},
language = {eng},
copyright = {http://creativecommons.org/licenses/by/4.0/},
title = {Approximating attractors of Boolean networks by iterative CTL model checking},
url = "http://dx.doi.org/10.17169/refubium-19723",
}