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.

5 results · clear filters Sort: newest oldest name

  1. Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
    2023 · Antwerp, Belgium
    Computer and information sciences
    e113sqf
  2. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    series, 21 events, 2003 to 2023
    Computer and information sciences
    s109q5b
  3. Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
    2022 · Warsaw, Poland
    Computer and information sciences
    e113sph
  4. Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
    2021 · Paris, France
    Computer and information sciences
    e113snk
  5. Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
    2020 · Vienna, Austria
    Computer and information sciences
    e113smn

As JSON: https://labs.confref.org/api/search?series=s109q5b&from=2020&to=2029