Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation

Boris Flotterer, Maria Maximova, Sven Schneider 0001, Johannes Dyck, Christian Zöllner 0002, Holger Giese, Christelle Hély, Cédric Gaucherel. Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. Ecological Informatics, 75:101908, July 2023. [doi]

Abstract

Abstract is missing.