In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy, pages 171-185.
Proceedings from the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, held in Bologna, Italy, covering pages 171-185.