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.

2 results · clear filters Sort: newest oldest name

  1. 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
  2. Protocol Specification, Testing and Verification (PSTV)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e12nbvf

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10cet3&country=IT