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.

32 results · clear filters Sort: newest oldest name

  1. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
    2002-07-12/13 · Málaga, Spain
    MathematicsComputer and information sciences
    e113m11
  2. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b
  3. 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
    2000-04-03/04 · Berlin, Germany
    Mathematics
    e129s2d
  4. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f
  5. 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)
    1998-05-25/26 · Kingdom of the Netherlands
    Mathematics
    e129s0h
  6. 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)
    1997-07-04/05 · Cesena, Italy
    Mathematics
    e129rzk
  7. 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&page=2