Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings
International Conference on Formal Methods for Open Object-Based Distributed Systems (8th 2006 Bologna, Italy) Roberto Gorrieri; Heike Wehrheim
Berlin Springer New York 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4037 ) e outros locais(Acessar)