@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}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A