%0 Journal Article %1 journals/corr/MaiyaGKM15 %A Maiya, Pallavi %A Gupta, Rahul %A Kanade, Aditya %A Majumdar, Rupak %D 2015 %J CoRR %K dblp %T A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1511.html#MaiyaGKM15 %V abs/1511.03213

@article{journals/corr/MaiyaGKM15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Maiya, Pallavi and Gupta, Rahul and Kanade, Aditya and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/24b4dc22a30abdb78d87f22bb74f2525d/dblp}, ee = {http://arxiv.org/abs/1511.03213}, interhash = {3e463268f3a910cd59d19b7a4167fd41}, intrahash = {4b4dc22a30abdb78d87f22bb74f2525d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:21:02.000+0200}, title = {A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1511.html#MaiyaGKM15}, volume = {abs/1511.03213}, year = 2015 }