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.

4 results · clear filters Sort: newest oldest name

  1. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011, FoVeOOS)
    2011-10-05/07 · Turin, Italy
    Computer and information sciences
    e103f25
  2. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010, FoVeOOS)
    2010-06-28/30 · Paris, France
    Computer and information sciences
    e103f17
  3. Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997 (FBT 1997)
    1997-06-19/20 · Berlin, Germany
    Computer and information sciences
    e10fwmv
  4. Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 (FBT 1992)
    1992-06-10/11 · Magdeburg, Germany
    Computer and information sciences
    e10fwns

As JSON: https://labs.confref.org/api/search?kind=event&series=s109q93