Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux
biologiques / Emmanuelle Gallet ; sous la direction de Pascale Le Gall, Paolo Ballarini
et Matthieu Manceny, 2016. Thèse de doctorat : Informatique : Paris Saclay : 2016
Information trouvée : Maître de conférences à CentraleSupélec