International SPIN Workshop (5th 1999 Trento, Italy)

• Theoretical and practical aspects of SPIN model checking
• Theoretical and practical aspects of SPIN model checking