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. 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020)
    2020-10-19/23 · Hanoi, Vietnam
    Computer and information sciences
    e12fkqw
  2. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    series, 3 events, 2018 to 2020
    Computer and information sciences
    s124q2s
  3. 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
    2019-10-27/31 · Taipei, Taiwan
    Computer and information sciences
    e12fkpy
  4. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
    2018-10-07/10 · Los Angeles, United States
    Computer and information sciences
    e12fkn0

As JSON: https://labs.confref.org/api/search?series=s124q2s