International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :)
Overview
| Works: | 13 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
by:
Gorrieri, Roberto.; Wehrheim, Heike.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :)
(Language materials, printed)