*Result*: Formal techniques for distributed systems
*Title*:
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings / FMOODS 2010 ; FORTE 2010, Amsterdam, The Netherlands, June 7 - 9, 2010. John Hatcliff ; Elena Zucca (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2010
*Physical description scale*:
XII, 231 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 6117
*Notes*:
Literaturangaben
*Subject Added Keywords*:
*ISBN*:
9783642134630