author = { WS-FM 5 2008 Mailand Bruni, Roberto AND Wolf, Karsten AND Bruni, Roberto L. },

title = { Web Services and Formal Methods 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings },

publisher = {Springer},

isbn = {3642013635},

isbn = {9783642013638},

keywords = { 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},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science / Programming and Software Engineering ; 5387},

address = { Berlin },

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