WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/2476595052

Formal methods for open object-based distributed systems IV : [proceedings]

Open All Close All

http://schema.org/alternateName

  • "Formal methods for open object-based distributed systems 4"

http://schema.org/genre

  • "Conference papers and proceedings"

http://schema.org/name

  • "Formal methods for open object-based distributed systems IV : [proceedings]"
  • "Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA"
  • "Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), september 6-8, 2000, Stanford, California, USA"