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.

4 results · clear filters Sort: newest oldest name

  1. Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005
    2005 · Edinburgh, United Kingdom
    Computer and information sciences
    e11vhna
  2. Workshop on Software Model Checking (SoftMC)
    series, 3 events, 2001 to 2005
    Computer and information sciences
    s10jw0x
  3. 2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003
    2003 · Boulder, United States
    Computer and information sciences
    e10ty9s
  4. Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001
    2001 · Paris, France
    Computer and information sciences
    e10ty8v

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