Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2005
Holzmann, G.J. and Ruys, T.C.
(2005)
Effective Bug Hunting with SPIN and Modex.
(Invited)
In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA.
pp. 24-24.
Lecture Notes in Computer Science 3639.
Springer Verlag.
ISSN 0302-9743
ISBN 3-540-28195-9
This list was generated on Thu May 24 06:22:39 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||