@incollection{CostanGaugerGoubaultMartelPutot:2005,
    Author = {Costan, A. and Gaubert, S. and Goubault, E. and Martel, M. and Putot, S.},
    BookTitle = {Computer Aided Verification},
    Editor = {Etessami, Kousha and Rajamani, Sriram K.},
    File = {A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs - Costan, Gaubert, Goubault, Martel, Putot (0) (0) (0) (0) - a - a - m.pdf},
    ISBN = {978-3-540-27231-1},
    Pages = {462-475},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs},
    URL = {http://dx.doi.org/10.1007/11513988\_46},
    Volume = {3576},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11513988\_46},
    date-added = {2014-03-20 07:18:58 +0000},
    date-modified = {2014-03-24 07:44:16 +0000},
    doi = {10.1007/11513988_46}
}

@incollection{CostanGaugerGoubaultMartelPutot:2005, Author = {Costan, A. and Gaubert, S. and Goubault, E. and Martel, M. and Putot, S.}, BookTitle = {Computer Aided Verification}, Editor = {Etessami, Kousha and Rajamani, Sriram K.}, File = {A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs - Costan, Gaubert, Goubault, Martel, Putot (0) (0) (0) (0) - a - a - m.pdf}, ISBN = {978-3-540-27231-1}, Pages = {462-475}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs}, URL = {http://dx.doi.org/10.1007/11513988_46}, Volume = {3576}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/11513988_46}, date-added = {2014-03-20 07:18:58 +0000}, date-modified = {2014-03-24 07:44:16 +0000}, doi = {10.1007/11513988_46} }