Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

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. International Workshop on Model Checking and Artificial Intelligence (MoChArt)
    2010-07-11 · Atlanta, United States
    Computer and information sciences
    e106dy8
  2. International Workshop on Model Checking and Artificial Intelligence (MoChArt)
    series, 4 events, 2005 to 2010
    Computer and information sciences
    s10aad6
  3. International Workshop on Model Checking and Artificial Intelligence (MoChArt)
    2008-07-21 · Patras, Greece
    Computer and information sciences
    e106dxa
  4. International Workshop on Model Checking and Artificial Intelligence (MoChArt)
    2006-08-29 · Riva del Garda, Italy
    Computer and information sciences
    e106dwc

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