@techreport{2022_invariant_analysis_for_multi_agent_graph_transformation_systems_using_k_induction__technical_report,
	author    = {Sven Schneider and Maria Maximova and Holger Giese},
	title     = {Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction},
	number    = {143},
	isbn      = {978-3-86956-531-6},
	year      = {2022},
	address     = {Potsdam, Germany},
	institution = {Hasso Plattner Institute at the University of Potsdam},	  
	doi       = {10.25932/publishup-54585},
}