author = { International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks AND International Conference FMOODS 11 2009 Lissabon Lee, David AND Lopes, Antonia AND Poetzsch-Heffter, Arnd },

title = { Formal techniques for distributed systems joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings },

publisher = {Springer},

isbn = {3642021379},

isbn = {9783642021374},

keywords = { Electronic data processing Distributed processing Congresses , Object-oriented programming (Computer science) Congresses , Formal methods (Computer science) Congresses , Konferenzschrift 2009 Lissabon , Verteiltes System , Formale Methode , Rechnernetz , Softwarespezifikation , Formale Spezifikationstechnik , Softwaretest , Software , Testen },

year = {2009},

abstract = {Literaturangaben},

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

address = { Berlin },

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