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.

11 results · clear filters Sort: newest oldest name

  1. International SPIN Symposium on Model Checking of Software (SPIN)
    series, 36 events, 1995 to 2025
    Computer and information sciences
    s10ams3
  2. 26th International SPIN Symposium on Model Checking of Software (SPIN 2019, SPIN)
    2019-07-15/16 · Beijing, People's Republic of China
    MathematicsComputer and information sciences
    e11vy32
  3. International SPIN Symposium on Model Checking of Software (SPIN 2018, SPIN)
    2018-06-20/22 · Málaga, Spain
    Computer and information sciences
    e11vy24
  4. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
    2017-07-10/14 · Santa Barbara, United States
    Computer and information sciences
    e11vy16
  5. International SPIN Symposium on Model Checking of Software (SPIN 2016, SPIN)
    2016-04-07/08 · Eindhoven
    Computer and information sciences
    e1081p0
  6. International SPIN Symposium on Model Checking of Software (SPIN 2015, SPIN)
    2015-08-24/26 · Stellenbosch, South Africa
    Computer and information sciences
    e10dy5w
  7. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
    2014-07-21/23 · San Jose, United States
    Computer and information sciences
    e11vy08
  8. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
    2013-07-08/09 · Stony Brook, United States
    Computer and information sciences
    e1081n2
  9. International SPIN Symposium on Model Checking of Software (SPIN 2012, SPIN)
    2012-07-23/24 · Oxford, United Kingdom
    Computer and information sciences
    e1081m4
  10. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
    2011-07-14/15 · Snowbird, United States
    Computer and information sciences
    e1081k6
  11. International SPIN Symposium on Model Checking of Software (SPIN 2010, SPIN)
    2010-09-27/29 · Kingdom of the Netherlands
    Computer and information sciences
    e1081j8

As JSON: https://labs.confref.org/api/search?series=s10ams3&from=2010&to=2019