An LTL Model Checking Approach for Biological Parameter Inference.

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Browse the full ICFEM paper archive.