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 Modeling and Analysis of Timed Systems (FORMATS)
    2008-09-15/17 · Saint-Malo, France
    Computer and information sciences
    e103dk4
  2. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006, FORMATS)
    2006-09-25/27 · Paris, France
    Computer and information sciences
    e103dh8
  3. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (FORMATS, FTRTFT)
    2004-09-22/24 · Grenoble, France
    Computer and information sciences
    e113shv
  4. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2003-09-06/07 · Marseille, France
    Computer and information sciences
    e103dfd

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