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 the 7th Workshop on Models for Formal Analysis of Real Systems, MARS 2026, Turin, Italy, 12th April 2026.
    2026 · Turin, Italy
    Computer and information sciences
    e12123j
  2. Workshop on Models for Formal Analysis of Real Systems (MARS)
    series, 7 events, 2015 to 2026
    Computer and information sciences
    s122y1r
  3. Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.
    2024 · Luxembourg, Luxembourg
    Computer and information sciences
    e1210r9
  4. Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022.
    2022 · Munich, Germany
    Computer and information sciences
    e120zfz
  5. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.
    2020 · Dublin, Ireland
    Computer and information sciences
    e120y9c

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