@inproceedings{GRAPHITE-2013-Majster-CederbaumS,
	author        = "Mila E. Majster-Cederbaum and Nils Semmelrock",
	booktitle     = "{Proceedings Second Workshop on GRAPH Inspection and Traversal Engineering}",
	doi           = "10.4204/EPTCS.138.1",
	pages         = "1--11",
	series        = "{EPTCS}",
	title         = "{Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete}",
	volume        = 138,
	year          = 2013,
}