12 results · clear filters Sort: newest oldest name

1. IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
   series, 40 events, 1988 to 2026
   MathematicsComputer and information sciences
   s109q69
2. 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
3. 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008, FORTE)
   2008-06-10/13 · Tokyo, Japan
   MathematicsComputer and information sciences
   e103e42
4. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2007-06-27/29 · Tallinn, Estonia
   Computer and information sciences
   e103e34
5. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2006-09-26/29 · Paris, France
   Computer and information sciences
   e103e26
6. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2005-10-02/05 · Taipei, Taiwan
   Computer and information sciences
   e103e18
7. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2004-09-27 to 2004-10-02 · Madrid, Spain
   Computer and information sciences
   e103e0a
8. Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
   2004 · Toledo, Spain
   Computer and information sciences
   e113tjr
9. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2003-09-29 to 2003-10-02 · Berlin, Germany
   Computer and information sciences
   e103dzc
10. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2002-11-11/14 · Houston, United States
    Computer and information sciences
    e103dye
11. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2001-08-28/31 · Jeju Island, South Korea
    Computer and information sciences
    e103dxg
12. Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy (FORTE)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e113t5k

As JSON: https://labs.confref.org/api/search?series=s109q69&from=2000&to=2009