Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

2 results · clear filters Sort: newest oldest name

  1. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
    2001-05-19/20 · Toronto, Canada
    Computer and information sciences
    e10819v
  2. International SPIN Symposium on Model Checking of Software (SPIN 1995)
    1995-10-16 · Montreal, Canada
    Computer and information sciences
    e12ag2m

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