✦ LIBER ✦

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

✍ Scribed by J. Barnat; L. Brim; I. Černá; S. Dražan; D. Šafránek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Large-Scale Computational Modeling of Ge

✍ M. Stetter; G. Deco; M. Dejori 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 323 KB

Large-scale dynamic gene regulatory netw

✍ Li, Z.; Li, P.; Krishnan, A.; Liu, J. 📂 Article 📅 2011 🏛 Oxford University Press 🌐 English ⚖ 253 KB

[Lecture Notes in Computer Science] Hybr

✍ Bemporad, Alberto; Bicchi, Antonio; Buttazzo, Giorgio 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 654 KB