Book
Techniques de model-checking pour l’inférence de paramètres et l’analyse de réseaux biologiques
Techniques de model-checking pour l’inférence de paramètres et l’analyse de réseaux biologiques
World Scientific
(2017), Pages 159