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. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
    series, 31 events, 1996 to 2026
    MathematicsComputer and information sciences
    s109ps3
  2. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f
  3. 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)
    1998-05-25/26 · Kingdom of the Netherlands
    Mathematics
    e129s0h
  4. 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)
    1997-07-04/05 · Cesena, Italy
    Mathematics
    e129rzk
  5. 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)
    1996-03-19 · Oxford, United Kingdom
    Mathematics
    e129ryn

As JSON: https://labs.confref.org/api/search?series=s109ps3&from=1990&to=1999