Modélisation et exploration d’un écosystème à dynamique spatiale par des outils de model-checking

Désolé, cet article est seulement disponible en Anglais Américain.