-
1Journal Article bibliotecaBanco Mundial
-
2Formal Methods for Open Object-Based Distributed Systems V [electronic resource] : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distribut... Formal Methods for Open Object-Based Distributed Systems V [electronic resource] : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distribut...Texto bibliotecaCOLPOS
-
3Formal Methods for Open Object-Based Distributed Systems V [electronic resource] : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distribut... Formal Methods for Open Object-Based Distributed Systems V [electronic resource] : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distribut...Texto bibliotecaCOLPOS