Data-driven optimizations for model checking of multi-valued regulatory networks

Adam Streck, Kirsten Thobe, Heike Siebert. Data-driven optimizations for model checking of multi-valued regulatory networks. Biosystems, 149:125-138, 2016. [doi]

Bibliographies