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

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

Lecture Notes in Computer Science

307 pages • missing pub info (editions)

nonfiction computer science design informative medium-paced
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), ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...