%0 Journal Article %1 journals/fmsd/PeledVK01 %A Peled, Doron A. %A Valmari, Antti %A Kokkarinen, Ilkka %D 2001 %J Formal Methods Syst. Des. %K dblp %N 3 %P 275-289 %T Relaxed Visibility Enhances Partial Order Reduction. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#PeledVK01 %V 19

@article{journals/fmsd/PeledVK01, added-at = {2020-03-13T00:00:00.000+0100}, author = {Peled, Doron A. and Valmari, Antti and Kokkarinen, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/21c8560eb707831df5113246c30e516b7/dblp}, ee = {https://doi.org/10.1023/A:1011202615884}, interhash = {e374aae50eb4c2a17b6fed733e2ad66b}, intrahash = {1c8560eb707831df5113246c30e516b7}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {275-289}, timestamp = {2020-03-14T11:51:10.000+0100}, title = {Relaxed Visibility Enhances Partial Order Reduction.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#PeledVK01}, volume = 19, year = 2001 }