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.

106 results · clear filters Sort: newest oldest name

  1. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f
  2. 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)
    1998-05-25/26 · Kingdom of the Netherlands
    Mathematics
    e129s0h
  3. 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)
    1997-07-04/05 · Cesena, Italy
    Mathematics
    e129rzk
  4. 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)
    1996-03-19 · Oxford, United Kingdom
    Mathematics
    e129ryn
  5. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd
  6. IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems (IEICE Trans D Form Appr 2018)
    Mathematics
    e124646

As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q1049183&page=5