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.

3 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
  3. 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

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