@inproceedings{Flanagan:2005:DPR:1040305.1040315,
    Address = {New York, NY, USA},
    Author = {Flanagan, Cormac and Godefroid, Patrice},
    BookTitle = {Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    File = {Dynamic Partial-order Reduction for Model Checking Software - Flanagan, Godefroid (0) (0) - a - a - m.pdf},
    ISBN = {1-58113-830-X},
    Keywords = {partial-order reduction, software model checking},
    Location = {Long Beach, California, USA},
    Pages = {110--121},
    Publisher = {ACM},
    Series = {POPL '05},
    Title = {Dynamic Partial-order Reduction for Model Checking Software},
    URL = {http://doi.acm.org/10.1145/1040305.1040315},
    Year = {2005},
    acmid = {1040315},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1040305.1040315},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1040305.1040315},
    date-added = {2013-12-03 12:09:46 +0000},
    date-modified = {2013-12-03 12:09:46 +0000},
    numpages = {12},
    doi = {10.1145/1040305.1040315}
}

@inproceedings{Flanagan:2005:DPR:1040305.1040315, Address = {New York, NY, USA}, Author = {Flanagan, Cormac and Godefroid, Patrice}, BookTitle = {Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, File = {Dynamic Partial-order Reduction for Model Checking Software - Flanagan, Godefroid (0) (0) - a - a - m.pdf}, ISBN = {1-58113-830-X}, Keywords = {partial-order reduction, software model checking}, Location = {Long Beach, California, USA}, Pages = {110--121}, Publisher = {ACM}, Series = {POPL '05}, Title = {Dynamic Partial-order Reduction for Model Checking Software}, URL = {http://doi.acm.org/10.1145/1040305.1040315}, Year = {2005}, acmid = {1040315}, bdsk-url-1 = {http://doi.acm.org/10.1145/1040305.1040315}, bdsk-url-2 = {http://dx.doi.org/10.1145/1040305.1040315}, date-added = {2013-12-03 12:09:46 +0000}, date-modified = {2013-12-03 12:09:46 +0000}, numpages = {12}, doi = {10.1145/1040305.1040315} }