17 results · clear filters Sort: newest oldest name

1. 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 (FMOODS, FORTE)
   2013-06-03/05 · Florence, Italy
   Computer and information sciences
   e113t8d
2. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
   series, 16 events, 1996 to 2013
   Computer and information sciences
   s109pwx
3. 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 (FMOODS, FORTE)
   2012-06-13/16 · Stockholm, Sweden
   Computer and information sciences
   e113t7f
4. Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings (FMOODS, FMOODS/FORTE 2011)
   2011-06-06/09 · Reykjavík, Iceland
   Computer and information sciences
   e10dwde
5. 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 (FMOODS, FMOODS/FORTE 2010)
   2010-06-07/09 · Amsterdam
   Computer and information sciences
   e10dwec
6. Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings (FORTE)
   2009-06-09/12 · Lisbon, Portugal
   Computer and information sciences
   e113t6h
7. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
   2008-06-04/06 · Oslo, Norway
   Computer and information sciences
   e103ck5
8. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, FMOODS)
   2007-06-06/08 · Paphos, Cyprus
   Computer and information sciences
   e103cj7
9. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006, FMOODS)
   2006-06-14/16 · Bologna, Italy
   Computer and information sciences
   e103ch9
10. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2005-06-15/17 · Athens, Greece
    Computer and information sciences
    e103cgb
11. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2003-11-19/21 · Paris, France
    Computer and information sciences
    e103cfe
12. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2002-03-20/22 · Enschede
    Computer and information sciences
    e103ceg
13. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2000-09-06/08 · Stanford University, United States
    Computer and information sciences
    e103cdj
14. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2000-06-09/12 · Lisbon, Portugal
    Computer and information sciences
    e12k4wr
15. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1999-02-15/18 · Florence, Italy
    Computer and information sciences
    e103ccm
16. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1997-01-01 · Canterbury, United Kingdom
    Computer and information sciences
    e12k4ym
17. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1996-01-01 · Paris, France
    Computer and information sciences
    e12k4xp

As JSON: https://labs.confref.org/api/search?series=s109pwx