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.

27 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. International SPIN Symposium on Model Checking of Software (SPIN 2020)
    2020-07-24/25 · Chicago, United States
    Computer and information sciences
    e12ah79
  3. 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
  4. International SPIN Symposium on Model Checking of Software (SPIN 2018, SPIN)
    2018-06-20/22 · Málaga, Spain
    Computer and information sciences
    e11vy24
  5. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
    2017-07-10/14 · Santa Barbara, United States
    Computer and information sciences
    e11vy16
  6. International SPIN Symposium on Model Checking of Software (SPIN 2016, SPIN)
    2016-04-07/08 · Eindhoven
    Computer and information sciences
    e1081p0
  7. International SPIN Symposium on Model Checking of Software (SPIN 2015, SPIN)
    2015-08-24/26 · Stellenbosch, South Africa
    Computer and information sciences
    e10dy5w
  8. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
    2014-07-21/23 · San Jose, United States
    Computer and information sciences
    e11vy08
  9. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
    2013-07-08/09 · Stony Brook, United States
    Computer and information sciences
    e1081n2
  10. International SPIN Symposium on Model Checking of Software (SPIN 2012, SPIN)
    2012-07-23/24 · Oxford, United Kingdom
    Computer and information sciences
    e1081m4
  11. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
    2011-07-14/15 · Snowbird, United States
    Computer and information sciences
    e1081k6
  12. International SPIN Symposium on Model Checking of Software (SPIN 2010, SPIN)
    2010-09-27/29 · Kingdom of the Netherlands
    Computer and information sciences
    e1081j8
  13. International SPIN Symposium on Model Checking of Software (SPIN 2009, SPIN)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e1081ha
  14. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
    2008-08-10/12 · Los Angeles, United States
    Computer and information sciences
    e1081gc
  15. International SPIN Symposium on Model Checking of Software (SPIN 2007, SPIN)
    2007-07-01/03 · Berlin, Germany
    Computer and information sciences
    e1081ff
  16. International SPIN Symposium on Model Checking of Software (SPIN 2006, SPIN)
    2006-03-30 to 2006-04-01 · Vienna, Austria
    Computer and information sciences
    e1081eh
  17. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
    2005-08-22/24 · San Francisco, United States
    Computer and information sciences
    e1081dk
  18. International SPIN Symposium on Model Checking of Software (SPIN 2004, SPIN)
    2004-04-01/03 · Barcelona, Spain
    Computer and information sciences
    e1081cn
  19. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
    2003-05-09/10 · Portland, United States
    Computer and information sciences
    e1081bq
  20. International SPIN Symposium on Model Checking of Software (SPIN 2002, SPIN)
    2002-04-11/13 · Grenoble, France
    Computer and information sciences
    e1081as
  21. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
    2001-05-19/20 · Toronto, Canada
    Computer and information sciences
    e10819v
  22. 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
  23. International SPIN Workshop on Model Checking of Software (SPIN)
    1999-07-05 · Trento, Italy
    Computer and information sciences
    e10817z
  24. SPIN Symposium / Workshop (SPIN)
    1998-01-01 · Paris, France
    Computer and information sciences
    e12nwr4
  25. SPIN Symposium / Workshop (SPIN)
    1997-01-01 · Kingdom of the Netherlands
    Computer and information sciences
    e12nwq6

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