Guard-based partial-order reduction (bibtex)
by Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
Reference:
Guard-based partial-order reductionAlfons Laarman, Elwin Pater, Jaco van de Pol, Henri HansenInternational Journal on Software Tools for Technology Transfer, pages 1-22, 2014, Springer Berlin Heidelberg.
Bibtex Entry:
@article{LaarmanPPHSTTT15,
year={2014},
issn={1433-2779},
journal={International Journal on Software Tools for Technology Transfer},
doi={10.1007/s10009-014-0363-9},
title={Guard-based partial-order reduction},
url={http://dx.doi.org/10.1007/s10009-014-0363-9},
publisher={Springer Berlin Heidelberg},
keywords={Model checking; Partial order reduction; Stubborn set; Necessary disabling set; Heuristic search; Ample set},
author={Laarman, Alfons and Pater, Elwin and van de Pol, Jaco and Hansen, Henri},
pages={1-22},
language={English}
}
Powered by bibtexbrowser