Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Eitemau Tebyg

• Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /
  gan: Roberto Bruni, Juergen Dingel
  Cyhoeddwyd: (2011)
• Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /
  gan: Holger Giese, Grigore Rosu
  Cyhoeddwyd: (2012)
• Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings /
  gan: Dirk Beyer, Michele Boreale
  Cyhoeddwyd: (2013)
• Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
  gan: David Frutos-Escrig, Manuel Núñez
  Cyhoeddwyd: (2004)
• Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
  gan: Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
  Cyhoeddwyd: (2008)