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 2020)
    2020-07-24/25 · Chicago, United States
    Computer and information sciences
    e12ah79
  2. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
    2017-07-10/14 · Santa Barbara, United States
    Computer and information sciences
    e11vy16
  3. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
    2014-07-21/23 · San Jose, United States
    Computer and information sciences
    e11vy08
  4. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
    2013-07-08/09 · Stony Brook, United States
    Computer and information sciences
    e1081n2
  5. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
    2011-07-14/15 · Snowbird, United States
    Computer and information sciences
    e1081k6
  6. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
    2008-08-10/12 · Los Angeles, United States
    Computer and information sciences
    e1081gc
  7. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
    2005-08-22/24 · San Francisco, United States
    Computer and information sciences
    e1081dk
  8. Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005
    2005 · San Francisco, United States
    Computer and information sciences
    e11k4tx
  9. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
    2003-05-09/10 · Portland, United States
    Computer and information sciences
    e1081bq
  10. International SPIN Symposium on Model Checking of Software (SPIN 2000, SPIN)
    2000-08-30 to 2000-09-01 · Stanford University, United States
    Computer and information sciences
    e10818x
  11. International SPIN Symposium on Model Checking of Software (SPIN 1996)
    1996-08-05 · New Brunswick, United States
    Computer and information sciences
    e12ag3j

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