@inproceedings{Bloem:2009:BQS:1575060.1575077,
    Address = {Berlin, Heidelberg},
    Author = {Bloem, Roderick and Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara},
    BookTitle = {Proceedings of the 21st International Conference on Computer Aided Verification},
    File = {Better Quality in Synthesis Through Quantitative Objectives - Bloem, Chatterjee, Henzinger, Jobstmann (0) (0) - a - a - b.pdf},
    ISBN = {978-3-642-02657-7},
    Location = {Grenoble, France},
    Pages = {140--156},
    Publisher = {Springer-Verlag},
    Series = {CAV '09},
    Title = {Better Quality in Synthesis Through Quantitative Objectives},
    URL = {http://dx.doi.org/10.1007/978-3-642-02658-4\_14},
    Year = {2009},
    acmid = {1575077},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02658-4\_14},
    date-added = {2014-01-24 14:32:36 +0000},
    date-modified = {2014-01-24 14:32:36 +0000},
    file-2 = {Better Quality in Synthesis Through Quantitative Objectives - Bloem, Chatterjee, Henzinger, Jobstmann (1) (0) - a - a - b.pdf},
    numpages = {17},
    doi = {10.1007/978-3-642-02658-4_14}
}

@inproceedings{Bloem:2009:BQS:1575060.1575077, Address = {Berlin, Heidelberg}, Author = {Bloem, Roderick and Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara}, BookTitle = {Proceedings of the 21st International Conference on Computer Aided Verification}, File = {Better Quality in Synthesis Through Quantitative Objectives - Bloem, Chatterjee, Henzinger, Jobstmann (0) (0) - a - a - b.pdf}, ISBN = {978-3-642-02657-7}, Location = {Grenoble, France}, Pages = {140--156}, Publisher = {Springer-Verlag}, Series = {CAV '09}, Title = {Better Quality in Synthesis Through Quantitative Objectives}, URL = {http://dx.doi.org/10.1007/978-3-642-02658-4_14}, Year = {2009}, acmid = {1575077}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02658-4_14}, date-added = {2014-01-24 14:32:36 +0000}, date-modified = {2014-01-24 14:32:36 +0000}, file-2 = {Better Quality in Synthesis Through Quantitative Objectives - Bloem, Chatterjee, Henzinger, Jobstmann (1) (0) - a - a - b.pdf}, numpages = {17}, doi = {10.1007/978-3-642-02658-4_14} }