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.

12 results · clear filters Sort: newest oldest name

  1. International Symposium on Formal Methods for Components and Objects (FMCO)
    2012-09-24/28 · Bertinoro, Italy
    Computer and information sciences
    e103bvp
  2. International Symposium on Formal Methods for Components and Objects (FMCO)
    series, 11 events, 2002 to 2012
    Computer and information sciences
    s109pq7
  3. International Symposium on Formal Methods for Components and Objects (FMCO 2011, FMCO)
    2011-10-03/05 · Turin, Italy
    Computer and information sciences
    e103btr
  4. International Symposium on Formal Methods for Components and Objects (FMCO)
    2010-11-29 to 2010-12-01 · Graz, Austria
    Computer and information sciences
    e103bst
  5. International Symposium on Formal Methods for Components and Objects (FMCO 2009, FMCO)
    2009-11-04/06 · Eindhoven
    Computer and information sciences
    e103brw
  6. International Symposium on Formal Methods for Components and Objects (FMCO)
    2008-10-21/23 · Sophia Antipolis, France
    Computer and information sciences
    e103bqy
  7. International Symposium on Formal Methods for Components and Objects (FMCO)
    2007-10-24/26 · Amsterdam
    Computer and information sciences
    e103bp0
  8. 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
  9. International Symposium on Formal Methods for Components and Objects (FMCO)
    2005-11-01/04 · Amsterdam
    Computer and information sciences
    e103bn2
  10. International Symposium on Formal Methods for Components and Objects (FMCO)
    2004-11-02/05 · Leiden
    Computer and information sciences
    e103bm4
  11. International Symposium on Formal Methods for Components and Objects (FMCO)
    2003-11-04/07 · Leiden
    Computer and information sciences
    e103bk6
  12. 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?field=1&series=s109pq7