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.

3 results · clear filters Sort: newest oldest name

  1. 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
  2. Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997
    1997 · Bologna, Italy
    Computer and information sciences
    e120q7q
  3. First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996
    1996 · University of Pisa, Italy
    Computer and information sciences
    e120pmx

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