author = { Hutchison, David AND Pandu Rangan, C. AND Steffen, Bernhard AND Sudan, Madhu AND Terzopoulos, Demetri AND Tygar, Doug AND Vardi, Moshe Y. AND Weikum, Gerhard AND Wolf, Karsten AND Bruni, Roberto AND Kanade, Takeo AND Kittler, Josef AND Kleinberg, Jon AND Mattern, Friedemann AND Mitchell, John C. AND Naor, Moni AND Nierstrasz, Oscar },

title = { Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642013645},

keywords = { Computer Communication Networks , Computer system performance , Logic design , Information systems , Computer Science , Computer science , Software engineering , Computer engineering. , Application software. , Computer networks . , Formal methods (Computer science) Congresses , Web services Congresses , Konferenzschrift 2008 Mailand , Web Services , Formale Methode , Kommunikationsprotokoll , Dienstgüte , Datensicherung , Leistungsbewertung , Semantic Web , Ontologie Wissensverarbeitung , Semantisches Netz },

year = {2009},

booktitle = {Lecture Notes in Computer Science ; 5387},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

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