Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

9 results · clear filters Sort: newest oldest name

  1. International Symposium on Formal Methods for Components and Objects (FMCO)
    series, 11 events, 2002 to 2012
    Computer and information sciences
    s109pq7
  2. International Symposium on Formal Methods for Components and Objects (FMCO 2009, FMCO)
    2009-11-04/06 · Eindhoven
    Computer and information sciences
    e103brw
  3. International Symposium on Formal Methods for Components and Objects (FMCO)
    2008-10-21/23 · Sophia Antipolis, France
    Computer and information sciences
    e103bqy
  4. International Symposium on Formal Methods for Components and Objects (FMCO)
    2007-10-24/26 · Amsterdam
    Computer and information sciences
    e103bp0
  5. Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (FMCO)
    2006-11-07/10 · Kingdom of the Netherlands
    Computer and information sciences
    e113kmv
  6. International Symposium on Formal Methods for Components and Objects (FMCO)
    2005-11-01/04 · Amsterdam
    Computer and information sciences
    e103bn2
  7. International Symposium on Formal Methods for Components and Objects (FMCO)
    2004-11-02/05 · Leiden
    Computer and information sciences
    e103bm4
  8. International Symposium on Formal Methods for Components and Objects (FMCO)
    2003-11-04/07 · Leiden
    Computer and information sciences
    e103bk6
  9. International Symposium on Formal Methods for Components and Objects (FMCO 2002, FMCO)
    2002-11-05/08 · Leiden
    Computer and information sciences
    e103bj8

As JSON: https://labs.confref.org/api/search?series=s109pq7&from=2000&to=2009