An LTL Model Checking Approach for Biological Parameter Inference.
| Autor: | Gallet, Emmanuelle, Manceny, Matthieu, Le Gall, Pascale, Ballarini, Paolo |
|---|---|
| Zdroj: | Formal Methods & Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings; 2014, p155-170, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|