Masaryk University
Apply for Author Copy
česky
|
in English
KORENČIAK, Ľuboš, Antonín KUČERA and Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
. London: IEEE Computer Society, 2016, p. 367-372. ISBN 978-1-5090-3431-4. Available from: https://dx.doi.org/10.1109/MASCOTS.2016.34.
You are about to send a request for the author's access to the following files.
https://is.muni.cz/auth/publication/1365671/MASCOTS16_TO_Synthesis_in_fdCTMC_policy_iter_Kucera.pdf
Your email:
The reason for your request:
Enter this
code:
You must fill in your email, the reason for your request, and the verification code in order to send the request.