@misc{KlarnerBockmayrSiebert2014, author = {Hannes Klarner and Alexander Bockmayr and Heike Siebert}, title = {Computing Symbolic Steady States of Boolean Networks}, institution = {Research Center Matheon}, type = {preprintmatheon}, year = {2014}, }