@techreport{2022_modeling_and_formal_analysis_of_meta_ecosystems_with_dynamic_structure_using_graph_transformation__technical_report,
	author    = {Boris Flotterer and Maria Maximova and Sven Schneider and Johannes Dyck and Christian Z{\"o}llner and Holger Giese and Christelle H{\´e}ly and C{\´e}dric Gaucherel},
	title     = {Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation},
	number    = {147},
	isbn      = {978-3-86956-533-0},
	year      = {2022},
    address     = {Potsdam, Germany},
    institution = {Hasso Plattner Institute at the University of Potsdam},	
	doi       = {10.25932/publishup-54764},
}