TY  - RPRT
TI  - Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
AU  - Ľuboš Korenčiak
AU  - Vojtěch Řehák
AU  - Adrian Farmadin
PY  - 2016
UR  - https://arxiv.org/abs/1603.03252
ID  - 1603.03252
ER  -