. "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)" . "4"^^ . . . "Verification of Open Interactive Markov Chains" . "14330" . "12"^^ . "Verification of Open Interactive Markov Chains"@en . . "RIV/00216224:14330/12:00057580!RIV13-GA0-14330___" . . "10.4230/LIPIcs.FSTTCS.2012.474" . . . "Kr\u010D\u00E1l, Jan" . . "IMC; compositional verification; synthesis; time bounded reachability; discretization"@en . "5"^^ . "Dagstuhl, Germany" . "Dagstuhl, Germany" . . "Verification of Open Interactive Markov Chains" . . . . . . "I, P(GD102/09/H042), P(GPP202/12/P612), S" . "\u0158eh\u00E1k, Vojt\u011Bch" . "RIV/00216224:14330/12:00057580" . "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik" . . . "177281" . "[555B3A08385F]" . "Hermanns, Holger" . . . . . . "2012-01-01+01:00"^^ . "Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization" . "Verification of Open Interactive Markov Chains"@en . "K\u0159et\u00EDnsk\u00FD, Jan" . "Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization"@en . . . "9783939897477" . . . "Br\u00E1zdil, Tom\u00E1\u0161" .