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. Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    2025 · Hamilton, Canada
    Computer and information sciences
    e11vy8r
  2. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
    2001-05-19/20 · Toronto, Canada
    Computer and information sciences
    e10819v
  3. SPIN Symposium / Workshop (SPIN)
    1996-01-01 · New Brunswick, Canada
    Computer and information sciences
    e12nwp8
  4. International SPIN Symposium on Model Checking of Software (SPIN 1995)
    1995-10-16 · Montreal, Canada
    Computer and information sciences
    e12ag2m
  5. SPIN Symposium / Workshop (SPIN)
    1995-01-01 · Montreal, Canada
    Computer and information sciences
    e12nwna

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