Reference:
Keijo Heljanko and Patrik Simons. unfsmodels 0.9: a LTL model checker using net unfoldings. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2001. Software.
Keywords:
net unfoldings, model checking, tableau systems, LTL, Petri nets
Suggested BibTeX entry:
@misc{unfsmodels0.9,
author = {Keijo Heljanko and Patrik Simons},
howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
note = {Software},
title = {unfsmodels 0.9: a {LTL} model checker using net unfoldings},
year = {2001},
}
|