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.
|