@inproceedings{Cook:2006:TBS:2135909.2135961,
    Address = {Berlin, Heidelberg},
    Author = {Cook, Byron and Podelski, Andreas and Rybalchenko, Andrey},
    BookTitle = {Proceedings of the 18th International Conference on Computer Aided Verification},
    File = {TERMINATOR Beyond Safety - Cook, Podelski, Rybalchenko (0) (0) - a - a - s.pdf},
    ISBN = {3-540-37406-X, 978-3-540-37406-0},
    Location = {Seattle, WA},
    Pages = {415--418},
    Publisher = {Springer-Verlag},
    Series = {CAV'06},
    Title = {TERMINATOR: Beyond Safety},
    URL = {http://dx.doi.org/10.1007/11817963\_37},
    Year = {2006},
    acmid = {2135961},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_37},
    date-added = {2013-12-11 13:10:14 +0000},
    date-modified = {2013-12-11 13:10:14 +0000},
    numpages = {4},
    doi = {10.1007/11817963_37}
}

@inproceedings{Cook:2006:TBS:2135909.2135961, Address = {Berlin, Heidelberg}, Author = {Cook, Byron and Podelski, Andreas and Rybalchenko, Andrey}, BookTitle = {Proceedings of the 18th International Conference on Computer Aided Verification}, File = {TERMINATOR Beyond Safety - Cook, Podelski, Rybalchenko (0) (0) - a - a - s.pdf}, ISBN = {3-540-37406-X, 978-3-540-37406-0}, Location = {Seattle, WA}, Pages = {415--418}, Publisher = {Springer-Verlag}, Series = {CAV'06}, Title = {TERMINATOR: Beyond Safety}, URL = {http://dx.doi.org/10.1007/11817963_37}, Year = {2006}, acmid = {2135961}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_37}, date-added = {2013-12-11 13:10:14 +0000}, date-modified = {2013-12-11 13:10:14 +0000}, numpages = {4}, doi = {10.1007/11817963_37} }