@inproceedings{Geeraerts:2005:EEC:2153230.2153278,
    Address = {Berlin, Heidelberg},
    Author = {Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois and Van Begin, Laurent},
    BookTitle = {Proceedings of the 17th international conference on Computer Aided Verification},
    File = {Expand, enlarge and check... made efficient - Geeraerts, Raskin, Van Begin (1) (0) - a - a - s.pdf},
    ISBN = {3-540-27231-3, 978-3-540-27231-1},
    Location = {Edinburgh, Scotland, UK},
    Pages = {394--407},
    Publisher = {Springer-Verlag},
    Series = {CAV'05},
    Title = {Expand, enlarge and check... made efficient},
    URL = {http://dx.doi.org/10.1007/11513988\_38},
    Year = {2005},
    acmid = {2153278},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11513988\_38},
    date-added = {2012-12-29 14:12:57 +0000},
    date-modified = {2012-12-29 14:12:57 +0000},
    file-2 = {Expand, enlarge and check... made efficient - Geeraerts, Raskin, Van Begin (0) (0) - a - a - s.pdf},
    numpages = {14},
    doi = {10.1007/11513988_38}
}

@inproceedings{Geeraerts:2005:EEC:2153230.2153278, Address = {Berlin, Heidelberg}, Author = {Geeraerts, Gilles and Raskin, Jean-Fran\c{c}ois and Van Begin, Laurent}, BookTitle = {Proceedings of the 17th international conference on Computer Aided Verification}, File = {Expand, enlarge and check... made efficient - Geeraerts, Raskin, Van Begin (1) (0) - a - a - s.pdf}, ISBN = {3-540-27231-3, 978-3-540-27231-1}, Location = {Edinburgh, Scotland, UK}, Pages = {394--407}, Publisher = {Springer-Verlag}, Series = {CAV'05}, Title = {Expand, enlarge and check... made efficient}, URL = {http://dx.doi.org/10.1007/11513988_38}, Year = {2005}, acmid = {2153278}, bdsk-url-1 = {http://dx.doi.org/10.1007/11513988_38}, date-added = {2012-12-29 14:12:57 +0000}, date-modified = {2012-12-29 14:12:57 +0000}, file-2 = {Expand, enlarge and check... made efficient - Geeraerts, Raskin, Van Begin (0) (0) - a - a - s.pdf}, numpages = {14}, doi = {10.1007/11513988_38} }