@inproceedings{Alur:2010:TRP:2127753.2127763,
    Address = {Berlin, Heidelberg},
    Author = {Alur, Rajeev and Chaudhuri, Swarat},
    BookTitle = {Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation},
    File = {Temporal Reasoning for Procedural Programs - Alur, Chaudhuri (0) (0) - a - a - l.pdf},
    ISBN = {3-642-11318-4, 978-3-642-11318-5},
    Location = {Madrid, Spain},
    Pages = {45--60},
    Publisher = {Springer-Verlag},
    Series = {VMCAI'10},
    Title = {Temporal Reasoning for Procedural Programs},
    URL = {http://dx.doi.org/10.1007/978-3-642-11319-2\_7},
    Year = {2010},
    acmid = {2127763},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-11319-2\_7},
    date-added = {2014-03-11 18:47:49 +0000},
    date-modified = {2014-03-11 18:47:49 +0000},
    numpages = {16},
    doi = {10.1007/978-3-642-11319-2_7}
}

@inproceedings{Alur:2010:TRP:2127753.2127763, Address = {Berlin, Heidelberg}, Author = {Alur, Rajeev and Chaudhuri, Swarat}, BookTitle = {Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation}, File = {Temporal Reasoning for Procedural Programs - Alur, Chaudhuri (0) (0) - a - a - l.pdf}, ISBN = {3-642-11318-4, 978-3-642-11318-5}, Location = {Madrid, Spain}, Pages = {45--60}, Publisher = {Springer-Verlag}, Series = {VMCAI'10}, Title = {Temporal Reasoning for Procedural Programs}, URL = {http://dx.doi.org/10.1007/978-3-642-11319-2_7}, Year = {2010}, acmid = {2127763}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-11319-2_7}, date-added = {2014-03-11 18:47:49 +0000}, date-modified = {2014-03-11 18:47:49 +0000}, numpages = {16}, doi = {10.1007/978-3-642-11319-2_7} }