Normal view
MARC view
Zucca, Elena Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)172794: Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book), 2010