%0 Journal Article %1 journals/sttt/LaarmanPPH16 %A Laarman, Alfons %A Pater, Elwin %A van de Pol, Jaco %A Hansen, Henri %D 2016 %J Int. J. Softw. Tools Technol. Transf. %K %N 4 %P 427-448 %T Guard-based partial-order reduction. %U http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#LaarmanPPH16 %V 18

@article{journals/sttt/LaarmanPPH16, added-at = {2023-12-12T18:12:43.000+0100}, author = {Laarman, Alfons and Pater, Elwin and van de Pol, Jaco and Hansen, Henri}, biburl = {https://www.bibsonomy.org/bibtex/2b7edf3ed98405a08f79b59104015acd2/admin}, ee = {https://doi.org/10.1007/s10009-014-0363-9}, interhash = {0f0357fcdb386cc49ae325019432df46}, intrahash = {b7edf3ed98405a08f79b59104015acd2}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 4, pages = {427-448}, timestamp = {2023-12-12T18:12:43.000+0100}, title = {Guard-based partial-order reduction.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#LaarmanPPH16}, volume = 18, year = 2016 }