@inproceedings{Abdulla:2008:MAP:1427782.1427826,
    Address = {Berlin, Heidelberg},
    Author = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Cederberg, Jonathan and Haziza, Fr{\'e}d{\'e}ric and Rezine, Ahmed},
    BookTitle = {Proceedings of the 20th International Conference on Computer Aided Verification},
    File = {Monotonic Abstraction for Programs with Dynamic Memory Heaps - Abdulla, Bouajjani, Cederberg, Haziza, Rezine (0) (0) - a - a - p.pdf},
    ISBN = {978-3-540-70543-7},
    Location = {Princeton, NJ, USA},
    Pages = {341--354},
    Publisher = {Springer-Verlag},
    Series = {CAV '08},
    Title = {Monotonic Abstraction for Programs with Dynamic Memory Heaps},
    URL = {http://dx.doi.org/10.1007/978-3-540-70545-1\_33},
    Year = {2008},
    acmid = {1427826},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1\_33},
    date-added = {2013-12-23 21:43:47 +0000},
    date-modified = {2013-12-23 21:43:47 +0000},
    numpages = {14},
    doi = {10.1007/978-3-540-70545-1_33}
}

@inproceedings{Abdulla:2008:MAP:1427782.1427826, Address = {Berlin, Heidelberg}, Author = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Cederberg, Jonathan and Haziza, Fr{\'e}d{\'e}ric and Rezine, Ahmed}, BookTitle = {Proceedings of the 20th International Conference on Computer Aided Verification}, File = {Monotonic Abstraction for Programs with Dynamic Memory Heaps - Abdulla, Bouajjani, Cederberg, Haziza, Rezine (0) (0) - a - a - p.pdf}, ISBN = {978-3-540-70543-7}, Location = {Princeton, NJ, USA}, Pages = {341--354}, Publisher = {Springer-Verlag}, Series = {CAV '08}, Title = {Monotonic Abstraction for Programs with Dynamic Memory Heaps}, URL = {http://dx.doi.org/10.1007/978-3-540-70545-1_33}, Year = {2008}, acmid = {1427826}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1_33}, date-added = {2013-12-23 21:43:47 +0000}, date-modified = {2013-12-23 21:43:47 +0000}, numpages = {14}, doi = {10.1007/978-3-540-70545-1_33} }