%0 Journal Article %1 journals/entcs/BrimCMS05 %A Brim, Lubos %A Cerná, Ivana %A Moravec, Pavel %A Simsa, Jirí %D 2005 %J Electron. Notes Theor. Comput. Sci. %K dblp %N 3 %P 63-74 %T Distributed Partial Order Reduction of State Spaces. %U http://dblp.uni-trier.de/db/journals/entcs/entcs128.html#BrimCMS05 %V 128

@article{journals/entcs/BrimCMS05, added-at = {2020-02-24T00:00:00.000+0100}, author = {Brim, Lubos and Cerná, Ivana and Moravec, Pavel and Simsa, Jirí}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23437d14c25674bd6c147e8116e396cb7/dblp}, ee = {https://doi.org/10.1016/j.entcs.2004.10.019}, interhash = {11d7e3a2f2aed445f2d6ebc7934f283c}, intrahash = {3437d14c25674bd6c147e8116e396cb7}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {63-74}, timestamp = {2020-04-20T13:08:11.000+0200}, title = {Distributed Partial Order Reduction of State Spaces.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs128.html#BrimCMS05}, volume = 128, year = 2005 }