Dams D, Gerth R, Leue S, Massink M
SPIN Verification Model-checking
Theoretical and practical aspects of SPIN model checking
Publisher: Springer
@book{oai:it.cnr:prodotti:190088, title = {Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops}, author = {Dams D and Gerth R and Leue S and Massink M}, publisher = {Springer}, doi = {10.1007/3-540-48234-2}, year = {1999} }