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]

Authors

Adam Streck

This author has not been identified. Look up 'Adam Streck' in Google

Kirsten Thobe

This author has not been identified. Look up 'Kirsten Thobe' in Google

Heike Siebert

This author has not been identified. Look up 'Heike Siebert' in Google