Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

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?series=s109q69&page=2