@inproceedings{QadeerRehof:Context-Bounded:2005,
    Address = {Berlin, Heidelberg},
    Author = {Qadeer, Shaz and Rehof, Jakob},
    BookTitle = {Proc. of TACAS'05},
    File = {Context-Bounded model checking of concurrent software - Qadeer, Rehof (0) (0) - a - a - o.pdf},
    ISBN = {3-540-25333-5, 978-3-540-25333-4},
    Location = {Edinburgh, UK},
    Pages = {93--107},
    Publisher = {Springer-Verlag},
    Title = {Context-Bounded model checking of concurrent software},
    URL = {http://dx.doi.org/10.1007/978-3-540-31980-1\_7},
    Year = {2005},
    acmid = {2140663},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1\_7},
    date-added = {2012-07-04 18:31:01 +0200},
    date-modified = {2014-05-30 09:46:29 +0000},
    file-2 = {Context-Bounded model checking of concurrent software - Qadeer, Rehof (1) (0) - a - a - o.pdf},
    numpages = {15},
    doi = {10.1007/978-3-540-31980-1_7}
}

@inproceedings{QadeerRehof:Context-Bounded:2005, Address = {Berlin, Heidelberg}, Author = {Qadeer, Shaz and Rehof, Jakob}, BookTitle = {Proc. of TACAS'05}, File = {Context-Bounded model checking of concurrent software - Qadeer, Rehof (0) (0) - a - a - o.pdf}, ISBN = {3-540-25333-5, 978-3-540-25333-4}, Location = {Edinburgh, UK}, Pages = {93--107}, Publisher = {Springer-Verlag}, Title = {Context-Bounded model checking of concurrent software}, URL = {http://dx.doi.org/10.1007/978-3-540-31980-1_7}, Year = {2005}, acmid = {2140663}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1_7}, date-added = {2012-07-04 18:31:01 +0200}, date-modified = {2014-05-30 09:46:29 +0000}, file-2 = {Context-Bounded model checking of concurrent software - Qadeer, Rehof (1) (0) - a - a - o.pdf}, numpages = {15}, doi = {10.1007/978-3-540-31980-1_7} }