Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /

Lignende værker

• Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20.22, 2002, Enschede, The Netherlands /
  af: Bart Jacobs, Arend Rensink
  Udgivet: (2002)
• 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 /
  af: Scott F. Smith, Carolyn L. Talcott
  Udgivet: (2000)
• Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
  af: Roberto Gorrieri, Heike Wehrheim
  Udgivet: (2006)
• Formal Methods for Open Object-based Distributed Systems : Volume 2 /
  af: Howard Bowman, John Derrick
  Udgivet: (1997)
• Formal Methods for Open Object-based Distributed Systems : Volume 1 /
  af: Elie Najm, Jean-Bernard Stefani
  Udgivet: (1997)