@techreport{2020_compositional_analysis_of_probabilistic_timed_graph_transformation_systems__technical_report,
	author    = {Maria Maximova and Sven Schneider and Holger Giese},
	title     = {Compositional analysis of probabilistic timed graph transformation systems},
	number    = {133},
	isbn      = {978-3-86956-501-9},
	year      = {2020},
	address     = {Potsdam, Germany},
	institution = {Hasso Plattner Institute at the University of Potsdam},	    
	doi       = {10.25932/publishup-49013},
}