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.

24 results · clear filters Sort: newest oldest name

  1. Protocol Specification, Testing and Verification (PSTV)
    2001-08-28/31 · Jeju Island, South Korea
    Computer and information sciences
    e12nbwd
  2. Protocol Specification, Testing and Verification (PSTV) (PSTV)
    series, 23 events, 1981 to 2001
    Computer and information sciences
    s10cet3
  3. 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
  4. Protocol Specification, Testing and Verification (PSTV)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e12nbvf
  5. Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000
    2000 · Pisa, Italy
    Computer and information sciences
    e120ph3
  6. 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
  7. 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
  8. 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
  9. 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
  10. Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 (PSTV)
    1995-01-01 · Warsaw, Poland
    Computer and information sciences
    e11pfnp
  11. Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 (PSTV)
    1994-01-01 · Vancouver, Canada
    Computer and information sciences
    e11pfmr
  12. Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 (PSTV)
    1993-01-01 · Liège, Belgium
    Computer and information sciences
    e11pfkt
  13. Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 (PSTV 1992, PSTV)
    1992-06-22/25 · Lake Buena Vista, United States
    Computer and information sciences
    e10hnh3
  14. Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 (PSTV)
    1991-06-18/20 · Stockholm, Sweden
    Computer and information sciences
    e11pfjw
  15. Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 (PSTV)
    1990-01-01 · Ottawa, Canada
    Computer and information sciences
    e11pfhy
  16. Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989 (PSTV)
    1989-01-01 · Kingdom of the Netherlands
    Computer and information sciences
    e11pfg0
  17. Protocol Specification, Testing and Verification (PSTV)
    1988-01-01 · Atlantic City, United States
    Computer and information sciences
    e12nbth
  18. Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987 (PSTV)
    1987-01-01 · Zurich, Switzerland
    Computer and information sciences
    e11pff3
  19. Protocol Specification, Testing and Verification (PSTV)
    1986-01-01 · Canada
    Computer and information sciences
    e12nbsk
  20. Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985 (PSTV)
    1985-06-10/13 · France
    Computer and information sciences
    e11pfe5
  21. Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 (PSTV)
    1984-06-11/14 · Skytop Lodge, United States
    Computer and information sciences
    e11pfd7
  22. Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983 (PSTV)
    1983-01-01 · Rüschlikon, Switzerland
    Computer and information sciences
    e11bdfw
  23. Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982 (PSTV)
    1982-01-01 · Idyllwild Arts Academy, United States
    Computer and information sciences
    e11pfc9
  24. Protocol Specification, Testing and Verification (PSTV)
    1981-01-01 · Teddington, United Kingdom
    Computer and information sciences
    e12nbrn

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