Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

What's New: Abstract State Machines


25 May 2007
  • Preliminary information on ASM'08 is available from the home page and the ASM Community page.
24 May 2007
2 October 2006
29 September 2006
13 June 2005
  • New instructions for joining the ASM email list appear on the ASM Community page.
2 February 2005

What's New for 2003-4

What's New for 2002

What's New for 2001

What's New for 2000

What's New for 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995