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.

5 results · clear filters Sort: newest oldest name

  1. Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. (INFINITY)
    2013-01-01 · Hanoi, Vietnam
    Computer and information sciences
    e120spp
  2. Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. (INFINITY)
    2012-01-01 · Paris, France
    Computer and information sciences
    e120s2z
  3. Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. (INFINITY)
    2011-01-01 · Taipei, Taiwan
    Computer and information sciences
    e1212nd
  4. Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. (INFINITY)
    2010-01-01 · Singapore
    Computer and information sciences
    e1210gs
  5. Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. (INFINITY)
    2009-01-01 · Bologna, Italy
    Computer and information sciences
    e120ry7

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