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. Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    2025 · Düsseldorf, Germany
    Computer and information sciences
    e120fxj
  2. Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
    2021 · Ulm, Germany
    Computer and information sciences
    e10rhc4
  3. Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (ABZ 2020)
    2020-05-27/29 · Ulm, Germany
    Computer and information sciences
    e10edes
  4. ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (ZUM 1998, ZUM)
    1998-09-24/26 · Berlin, Germany
    Computer and information sciences
    e10dtvk

As JSON: https://labs.confref.org/api/search?series=s10djws&country=DE