@article{Cousot:1999:RMC:591984.592023,
    Address = {Hingham, MA, USA},
    Author = {Cousot, Patrick and Cousot, Radhia},
    File = {Refining Model Checking by Abstract Interpretation - Cousot, Cousot (0) (0) - a - a - g.pdf},
    ISSN = {0928-8910},
    Journal = {Automated Software Engg.},
    Keywords = {abstract interpretation, model-checking, static analysis, transition system, universal safety},
    Month = {January},
    Number = {1},
    Pages = {69--95},
    Publisher = {Kluwer Academic Publishers},
    Title = {Refining Model Checking by Abstract Interpretation},
    URL = {http://dx.doi.org/10.1023/A:1008649901864},
    Volume = {6},
    Year = {1999},
    acmid = {592023},
    bdsk-url-1 = {http://dx.doi.org/10.1023/A:1008649901864},
    date-added = {2013-01-30 17:18:53 +0000},
    date-modified = {2013-01-30 17:18:53 +0000},
    issue_date = {January 1999},
    numpages = {27},
    doi = {10.1023/A:1008649901864}
}

@article{Cousot:1999:RMC:591984.592023, Address = {Hingham, MA, USA}, Author = {Cousot, Patrick and Cousot, Radhia}, File = {Refining Model Checking by Abstract Interpretation - Cousot, Cousot (0) (0) - a - a - g.pdf}, ISSN = {0928-8910}, Journal = {Automated Software Engg.}, Keywords = {abstract interpretation, model-checking, static analysis, transition system, universal safety}, Month = {January}, Number = {1}, Pages = {69--95}, Publisher = {Kluwer Academic Publishers}, Title = {Refining Model Checking by Abstract Interpretation}, URL = {http://dx.doi.org/10.1023/A:1008649901864}, Volume = {6}, Year = {1999}, acmid = {592023}, bdsk-url-1 = {http://dx.doi.org/10.1023/A:1008649901864}, date-added = {2013-01-30 17:18:53 +0000}, date-modified = {2013-01-30 17:18:53 +0000}, issue_date = {January 1999}, numpages = {27}, doi = {10.1023/A:1008649901864} }