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.

2 results · clear filters Sort: newest oldest name

  1. Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007
    2007 · Lancaster, United Kingdom
    Computer and information sciences
    e120jg9
  2. International Workshop on Formal Methods for Interactive Systems (FMIS)
    series, 1 events, 2007 to 2007
    Computer and information sciences
    s12232h

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