Analysis of state-transition graphs of ecosystems using model-checking / Colin Thomas
; sous la direction de Franck Pommereau. Thèse de doctorat : Informatique : université
Paris-Saclay : 2022
Information trouvée : La personne souhaite que sa date de naissance ne soit pas enregistrée (information
recueillie le 08/04/2023 - Université d'Evry-Val-d'Essonne)