12 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. Abstract State Machines (ASM)
   1999-01-01 · Toulouse, France
   Computer and information sciences
   e12htmp
3. International Conference of B Users (B)
   1998-04-22/24 · Montpellier, France
   Computer and information sciences
   e12hf26
4. Abstract State Machines (ASM)
   1998-01-01 · Cannes, France
   Computer and information sciences
   e12htkr
5. Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings
   1998 · Magdeburg, Germany
   Computer and information sciences
   e10rhhs
6. International Conference of Z Users (ZUM)
   1997-04-03/04 · Reading, United Kingdom
   Computer and information sciences
   e12hf18
7. Abstract State Machines (ASM)
   1997-01-01 · Cannes, France
   Computer and information sciences
   e12htjt
8. Abstract State Machines (ASM)
   1996-01-01 · Germany
   Computer and information sciences
   e12hthw
9. International Conference of Z Users (ZUM)
   1995-09-07/09 · Limerick, Ireland
   Mathematics
   e12hf0a
10. Abstract State Machines (ASM)
    1994-01-01 · Hamburg, Germany
    Computer and information sciences
    e12htgy
11. Abstract State Machines (ASM)
    1993-01-01 · Lipari, Italy
    Computer and information sciences
    e12htf1
12. Specification and validation methods
    1993
    Computer and information sciences
    e10rhjq

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