%0 Generic
%T Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
%A Hutchison, David
%A Pandu Rangan, C.
%A Steffen, Bernhard
%A Sudan, Madhu
%A Terzopoulos, Demetri
%A Tygar, Doug
%A Vardi, Moshe Y.
%A Weikum, Gerhard
%A Wolf, Karsten
%A Bruni, Roberto
%A Kanade, Takeo
%A Kittler, Josef
%A Kleinberg, Jon
%A Mattern, Friedemann
%A Mitchell, John C.
%A Naor, Moni
%A Nierstrasz, Oscar
%I Springer Berlin Heidelberg
%@ 9783642013645
%K Computer Communication Networks
%K Computer system performance
%K Logic design
%K Information systems
%K Computer Science
%K Computer science
%K Software engineering
%K Computer engineering.
%K Application software.
%K Computer networks .
%K Formal methods (Computer science) Congresses
%K Web services Congresses
%K Konferenzschrift 2008 Mailand
%K Web Services
%K Formale Methode
%K Kommunikationsprotokoll
%K Dienstgüte
%K Datensicherung
%K Leistungsbewertung
%K Semantic Web
%K Ontologie Wissensverarbeitung
%K Semantisches Netz
%D 2009
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation