41 results · clear filters Sort: newest oldest name

1. 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
2. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2002-11-11/14 · Houston, United States
   Computer and information sciences
   e103dye
3. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
   2001-08-28/31 · Jeju Island, South Korea
   Computer and information sciences
   e103dxg
4. 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
5. Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China (FORTE, PSTV)
   1999-10-05/08 · Beijing, People's Republic of China
   Computer and information sciences
   e113t4n
6. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France (FORTE, PSTV)
   1998-01-01 · Paris, France
   Computer and information sciences
   e113t3q
7. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan (FORTE, PSTV)
   1997-01-01 · Osaka, Japan
   Computer and information sciences
   e113t2s
8. Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 (FORTE, PSTV)
   1996-10-08/11 · Kaiserslautern, Germany
   Computer and information sciences
   e113t1v
9. Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (FORTE)
   1995-01-01 · Montreal, Canada
   Computer and information sciences
   e113t0x
10. Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 (FORTE)
    1994-01-01 · Bern, Switzerland
    Computer and information sciences
    e113szz
11. Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 (FORTE)
    1993-10-26/29 · Boston, United States
    Computer and information sciences
    e113sy1
12. Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 (FORTE)
    1992-10-13/16 · Perros-Guirec, France
    Computer and information sciences
    e113sx3
13. Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 (FORTE)
    1991-11-19/22 · Sydney, Australia
    Computer and information sciences
    e113sw5
14. Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 (FORTE)
    1990-11-05/08 · Madrid, Spain
    Computer and information sciences
    e113sv7
15. Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989 (FORTE)
    1989-01-01 · Vancouver, Canada
    Computer and information sciences
    e113st9
16. Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988 (FORTE)
    1988-01-01 · Stirling, United Kingdom
    Computer and information sciences
    e113ssb

As JSON: https://labs.confref.org/api/search?field=1&series=s109q69&page=2