1999
Book
Closed Access
Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops
Dams D, Gerth R, Leue S, Massink M
SPIN Verification Model-checking
Theoretical and practical aspects of SPIN model checking
Publisher: Springer
Metrics
Back to previous page
BibTeX entry
@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}
}
0000-0001-5089-002X