Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

Samankaltaisia teoksia

• Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
  Tekijä: David Frutos-Escrig, Manuel Núñez
  Julkaistu: (2004, c2004)
• Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
  Tekijä: Hartmut König, Monika Heiner, Adam Wolisz
  Julkaistu: (2003, c2003)
• Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
  Tekijä: Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge
  Julkaistu: (2006, c2006)
• Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
  Tekijä: Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
  Julkaistu: (2008, c2008)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
  Tekijä: Farn Wang
  Julkaistu: (2005, c2005)