Modeling and Analysis of Biological Networks with Model Checking.
Autor: | Elloumi, Mourad, Zomaya, Albert Y. |
---|---|
Zdroj: | Algorithms in Computational Molecular Biology: Techniques, Approaches & Applications; 2011, p915-940, 26p |
Databáze: | Complementary Index |
Externí odkaz: |