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. Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023.
    2023 · San Antonio, United States
    Computer and information sciences
    e10r8f7
  2. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
    series, 9 events, 2014 to 2023
    Computer and information sciences
    s121adp
  3. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
    2022 · Munich, Germany
    Computer and information sciences
    e10r8e9
  4. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021.
    2021 · Brussels, Belgium
    Computer and information sciences
    e10r8db
  5. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
    2020 · Berlin, Germany
    Computer and information sciences
    e10r8cd

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