@inproceedings{FDG-2015-ReuterGS,
	author        = "Christian Reuter 0003 and Stefan Göbel 0001 and Ralf Steinmetz",
	booktitle     = "{Proceedings of the 10th International Conference on the Foundations of Digital Games}",
	ee            = "http://www.fdg2015.org/papers/fdg2015_paper_78.pdf",
	publisher     = "{Society for the Advancement of the Science of Digital Games}",
	title         = "{Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets}",
	year          = 2015,
}