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.

11 results · clear filters Sort: newest oldest name

  1. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    series, 21 events, 2003 to 2023
    Computer and information sciences
    s109q5b
  2. Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (FORMATS)
    2019-08-27/29 · Kingdom of the Netherlands
    Computer and information sciences
    e113skq
  3. Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (FORMATS)
    2018-09-04/06 · Beijing, People's Republic of China
    Computer and information sciences
    e113sjs
  4. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017, FORMATS)
    2017-09-05/07 · Berlin, Germany
    Computer and information sciences
    e103dwj
  5. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2016-08-24/26 · Quebec City, Canada
    Computer and information sciences
    e103dvm
  6. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2015-09-02/04 · Madrid, Spain
    Computer and information sciences
    e103dtp
  7. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2014-09-08/10 · Florence, Italy
    Computer and information sciences
    e103dsr
  8. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013, FORMATS)
    2013-08-29/31 · Buenos Aires, Argentina
    Computer and information sciences
    e103drt
  9. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2012-09-18/20 · London, United Kingdom
    Computer and information sciences
    e103dqw
  10. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
    2011-09-21/23 · Aalborg, Denmark
    Computer and information sciences
    e103dpy
  11. International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010, FORMATS)
    2010-09-08/10 · Klosterneuburg, Austria
    Computer and information sciences
    e103dn0

As JSON: https://labs.confref.org/api/search?series=s109q5b&from=2010&to=2019