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. Workshop on Models for Formal Analysis of Real Systems (MARS)
    series, 7 events, 2015 to 2026
    Computer and information sciences
    s122y1r
  2. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. (VPT)
    2018-01-01 · Thessaloniki, Greece
    Computer and information sciences
    e120wy3
  3. Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
    2017 · Uppsala, Sweden
    Computer and information sciences
    e120w9e
  4. Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.
    2015 · Suva, Fiji
    Computer and information sciences
    e120v7k

As JSON: https://labs.confref.org/api/search?series=s122y1r&from=2010&to=2019