%0
Book
%T
Formal techniques for networked and distributed systems - FORTE 2008
28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 ; proceedings
%A FORTE 28 2008 Tokio
%A Suzuki, Kenji
%I Springer
%@ 3540688544
%@ 9783540688549
%K Konferenzschrift 2008 Tokio
%K Verteiltes System
%K Formale Methode
%K Rechnernetz
%K Softwarespezifikation
%K Formale Spezifikationstechnik
%K Softwaretest
%D 2008
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2