1999
Contribution to conference
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
Source: Berlin: Springer, 1999
Metrics
Back to previous page
BibTeX entry
@inproceedings{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.},
doi = {10.1007/3-540-48234-2},
booktitle = {Berlin: Springer, 1999},
year = {1999}
}
0000-0001-5089-002X