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.

4 results · clear filters Sort: newest oldest name

  1. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2015-06-02/05 · Grenoble, France
    Computer and information sciences
    e103e6y
  2. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2006-09-26/29 · Paris, France
    Computer and information sciences
    e103e26
  3. 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
  4. 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

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