
@conference {inp:GayMantelSprick2011a,
	title = {Service Automata},
	booktitle = {Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011)},
	year = {2012},
	author = {R. Gay and H. Mantel and B. Sprick}
}
