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.

33 results · clear filters Sort: newest oldest name

  1. Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (FORTE)
    1995-01-01 · Montreal, Canada
    Computer and information sciences
    e113t0x
  2. Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 (FORTE)
    1994-01-01 · Bern, Switzerland
    Computer and information sciences
    e113szz
  3. Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 (FORTE)
    1993-10-26/29 · Boston, United States
    Computer and information sciences
    e113sy1
  4. Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 (FORTE)
    1992-10-13/16 · Perros-Guirec, France
    Computer and information sciences
    e113sx3
  5. Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 (FORTE)
    1991-11-19/22 · Sydney, Australia
    Computer and information sciences
    e113sw5
  6. Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 (FORTE)
    1990-11-05/08 · Madrid, Spain
    Computer and information sciences
    e113sv7
  7. Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989 (FORTE)
    1989-01-01 · Vancouver, Canada
    Computer and information sciences
    e113st9
  8. Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988 (FORTE)
    1988-01-01 · Stirling, United Kingdom
    Computer and information sciences
    e113ssb

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s109q69&page=2