Adam Streck, Kirsten Thobe, Heike Siebert. Data-driven optimizations for model checking of multi-valued regulatory networks. Biosystems, 149:125-138, 2016. [doi]
@article{StreckTS16,
title = {Data-driven optimizations for model checking of multi-valued regulatory networks},
author = {Adam Streck and Kirsten Thobe and Heike Siebert},
year = {2016},
doi = {10.1016/j.biosystems.2016.05.004},
url = {http://dx.doi.org/10.1016/j.biosystems.2016.05.004},
researchr = {https://researchr.org/publication/StreckTS16},
cites = {0},
citedby = {0},
journal = {Biosystems},
volume = {149},
pages = {125-138},
}