author = { WS-FM 6 2009 Bologna Laneve, Cosimo AND Su, Jianwen },

title = { Web services and formal methods 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 ; revised selected papers },

publisher = {Springer},

isbn = {3642144578},

isbn = {9783642144578},

keywords = { Web services Congresses , Formal methods (Computer science) Congresses , Konferenzschrift 2009 Bologna , Web Services , Serviceorientierte Architektur , Formale Methode },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 6194},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }