Formal techniques for distributed systems
proceedings
Gespeichert in:
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)
Online Zugang: