 |
Formal Techniques for Distributed Systems 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 |
 |
|
Formal Techniques for Distributed Systems 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 |
|