%0 Journal Article %1 journals/ase/BastenBG04 %A Basten, Twan %A Bosnacki, Dragan %A Geilen, Marc %D 2004 %J Autom. Softw. Eng. %K dblp %N 4 %P 365-402 %T Cluster-Based Partial-Order Reduction. %U http://dblp.uni-trier.de/db/journals/ase/ase11.html#BastenBG04 %V 11

@article{journals/ase/BastenBG04, added-at = {2020-10-26T00:00:00.000+0100}, author = {Basten, Twan and Bosnacki, Dragan and Geilen, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2f9b85e705e46558bdc21d814dc9a5484/dblp}, ee = {https://doi.org/10.1023/B:AUSE.0000038937.18006.3d}, interhash = {5f4d105e293f832ab2236bbbb76d6863}, intrahash = {f9b85e705e46558bdc21d814dc9a5484}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 4, pages = {365-402}, timestamp = {2020-10-27T12:09:33.000+0100}, title = {Cluster-Based Partial-Order Reduction.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase11.html#BastenBG04}, volume = 11, year = 2004 }