16 results · clear filters Sort: newest oldest name

1. International Workshops on Abstract State Machines (ASM) (ASM)
   series, 31 events, 1993 to 2018
   Computer and information sciences
   s10d7jr
2. International Conference on Abstract State Machines, B and Z (ABZ)
   2008-09-16/18 · London, United Kingdom
   Computer and information sciences
   e12hf9r
3. International Conference of B Users (B)
   2007-01-17/19 · Besançon, France
   Computer and information sciences
   e12hf8t
4. International Conference of B and Z Users (ZB)
   2005-04-13/15 · Guildford, United Kingdom
   Computer and information sciences
   e12hf7w
5. Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (ASM)
   2005-03-08/11 · Paris, France
   Computer and information sciences
   e10rhgv
6. International Workshop on Abstract State Machines (ASM)
   2004-05-24/28 · Lutherstadt Wittenberg, Germany
   Computer and information sciences
   e12hf6y
7. Abstract State Machines (ASM)
   2004-05-24/28 · Lutherstadt Wittenberg, Germany
   Computer and information sciences
   e12htre
8. Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
   2004 · Lutherstadt Wittenberg, Germany
   Computer and information sciences
   e10rhfy
9. International Workshop on Abstract State Machines (ASM)
   2003-03-03/07 · Taormina, Italy
   Computer and information sciences
   e12hf50
10. Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12htqg
11. Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
    2003 · Taormina, Italy
    Computer and information sciences
    e10rhe0
12. International Conference of B and Z Users (ZB)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e12hf42
13. Abstract State Machines (ASM)
    2002-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e12htpj
14. Abstract State Machines (ASM)
    2001-01-01 · Las Palmas de Gran Canaria, Spain
    Computer and information sciences
    e12htnm
15. International Conference of B and Z Users (ZB)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e12hf34
16. Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings (ASM)
    2000-03-19/24 · Monte Verità, Switzerland
    Computer and information sciences
    e10rhd2

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