Shelfclass_id |
4.B.3 |
Sortkey |
SPIN |
Authors |
Editors: Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink |
Title |
SPIN Workshop 1999: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings |
Publisher |
Springer |
Year |
1999 |
Languages |
eng |
Isbn |
3540664998, 9783540664994 |
Series |
Lecture Notes in Computer Science |
Volume |
1680 |
Issn |
0302-9743 |
Description |
x, 276 p. ill. 24 cm |
Record date |
20110125 |
Location |
New York |
Keywords |
Computer software, Verification |
Notes |
5th International SPIN Workshop on Theoretical Aspects of Model Checking (5thSPIN99) was held on July 5th, 1999 as a satellite workshop of the Federated Logic Conference (FLoC'99), while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6thSPIN99) was held as a user group meeting within the World Congress on Formal Methods in the Development of Computing Systems (FM'99) on September 21-24, 1999. |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/99049725-d.html |