Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{991746,
author = {Brázdil, Tomáš and Hermanns, Holger and Krčál, Jan and Křetínský, Jan and Řehák, Vojtěch},
address = {Dagstuhl, Germany},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
doi = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474},
editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
keywords = {IMC;compositional verification;synthesis;time bounded reachability;discretization},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Dagstuhl, Germany},
isbn = {978-3-939897-47-7},
pages = {474-485},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
title = {Verification of Open Interactive Markov Chains},
url = {http://drops.dagstuhl.de/opus/volltexte/2012/3882},
year = {2012}
}
TY - JOUR
ID - 991746
AU - Brázdil, Tomáš - Hermanns, Holger - Krčál, Jan - Křetínský, Jan - Řehák, Vojtěch
PY - 2012
TI - Verification of Open Interactive Markov Chains
PB - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
CY - Dagstuhl, Germany
SN - 9783939897477
KW - IMC;compositional verification;synthesis;time bounded reachability;discretization
UR - http://drops.dagstuhl.de/opus/volltexte/2012/3882
N2 - Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization
ER -
BRÁZDIL, Tomáš, Holger HERMANNS, Jan KRČÁL, Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. Verification of Open Interactive Markov Chains. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. \textit{IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)}. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, s.~474-485. ISBN~978-3-939897-47-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.
|
