Bonsangue, Marcello M.,Johnsen, Einar Broch..Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /.Springer,,c2007..
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Bonsangue, Marcello M.,Johnsen, Einar Broch..Springer,,c2007..
