@inproceedings{CCHKM05,
        author      =   "A. Chakrabarti and K. Chatterjee and T.A. Henzinger and  O. Kupferman and R. Majumdar",
        title       =   "Verifying Quantitative Properties Using Bound Functions",
        booktitle   =   charme05,
        series      =   lncs,
        volume      =   "3725",
        pages       =   "50-64",
        publisher   =   springer,
        year        =   "2005"
}