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

Lecture Notes in Computer Science

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

307 pages paperback

9 editions

nonfiction computer science design informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

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), ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...