Formal techniques for distributed systems

proceedings

Verfasser / Beitragende:
joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; John Hatcliff ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2010
Beschreibung:
231 S. : Ill.
Format:
Buch (Kongress)
ID: 170904776