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. International SPIN Symposium on Model Checking of Software (SPIN 2023)
    2023-04-26/27 · Paris, France
    Computer and information sciences
    e11vy6w
  2. International SPIN Symposium on Model Checking of Software (SPIN 2009, SPIN)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e1081ha
  3. International SPIN Symposium on Model Checking of Software (SPIN 2002, SPIN)
    2002-04-11/13 · Grenoble, France
    Computer and information sciences
    e1081as
  4. International SPIN Symposium on Model Checking of Software (SPIN 1998)
    1998-11-02 · Paris, France
    Computer and information sciences
    e12agq9
  5. SPIN Symposium / Workshop (SPIN)
    1998-01-01 · Paris, France
    Computer and information sciences
    e12nwr4

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