
@conference {inp:Accorsi2011a,
	title = {Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen},
	booktitle = {Proceedings of INFORMATIK 2011 - Dependable Software for Critical Infrastructures (DSCI 2011)},
	year = {2011},
	author = {R. Accorsi}
}
