@InProceedings{ inp:GayMantelSprick2012a, author = {Richard Gay and Heiko Mantel and Barbara Sprick}, title = {Service Automata}, booktitle = {Post-Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011)}, year = 2012, pages = {148--163}, publisher = {Springer}, series = {LNCS 7140}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/2012-FAST-GayMantelSprick-ServiceAutomata.pdf} }