*Result*: Formal Techniques for Distributed Systems
*Title*:
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / edited by Holger Giese, Grigore Rosu
*Author/editor-in-chief*:
*Edition*:
1st ed. 2012
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIII, 269 Seiten) : 75 illus.
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 7273
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642307928
*Subject Added Keywords*:
*ISBN*:
9783642307935 ; 3642307930 ; 978--364230792-8 (Sekundärausgabe) ; 978--364230794-2 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-30793-5