Model Checking Software - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Model Checking Software - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Bog - Paperback

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).