About
Sign in
Join
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Klaus Havelund,
Rupak Majumdar
—
2008
Properties”.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read