@incollection{ChatterjeeHenzingerJobstmannSingh:2010,
    Author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara and Singh, Rohit},
    BookTitle = {Computer Aided Verification},
    Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul},
    File = {Measuring and Synthesizing Systems in Probabilistic Environments - Chatterjee, Henzinger, Jobstmann, Singh (0) (0) - a - a - h.pdf},
    ISBN = {978-3-642-14294-9},
    Pages = {380-395},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Measuring and Synthesizing Systems in Probabilistic Environments},
    URL = {http://dx.doi.org/10.1007/978-3-642-14295-6\_34},
    Volume = {6174},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6\_34},
    date-added = {2014-01-23 14:52:39 +0000},
    date-modified = {2014-01-23 14:52:39 +0000},
    file-2 = {Measuring and Synthesizing Systems in Probabilistic Environments - Chatterjee, Henzinger, Jobstmann, Singh (1) (0) - a - a - h.pdf},
    doi = {10.1007/978-3-642-14295-6_34}
}

@incollection{ChatterjeeHenzingerJobstmannSingh:2010, Author = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Jobstmann, Barbara and Singh, Rohit}, BookTitle = {Computer Aided Verification}, Editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul}, File = {Measuring and Synthesizing Systems in Probabilistic Environments - Chatterjee, Henzinger, Jobstmann, Singh (0) (0) - a - a - h.pdf}, ISBN = {978-3-642-14294-9}, Pages = {380-395}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Measuring and Synthesizing Systems in Probabilistic Environments}, URL = {http://dx.doi.org/10.1007/978-3-642-14295-6_34}, Volume = {6174}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-14295-6_34}, date-added = {2014-01-23 14:52:39 +0000}, date-modified = {2014-01-23 14:52:39 +0000}, file-2 = {Measuring and Synthesizing Systems in Probabilistic Environments - Chatterjee, Henzinger, Jobstmann, Singh (1) (0) - a - a - h.pdf}, doi = {10.1007/978-3-642-14295-6_34} }