| 21 | | * J.-P. Katoen and I. S. Zapreev. Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. In Quantitative Evaluation of Systems (QEST), pages 301-310, 2006. [attachment:KatoenZ_QEST06.pdf PDF] [attachment:KatoenZ_QEST06.bib BibTex] [attachment:KatoenZ_QEST06_pre.pdf PPT] |
| | 21 | * J.-P. Katoen and I. S. Zapreev. Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. In Quantitative Evaluation of Systems (QEST), pages 301-310, 2006. [attachment:KatoenZ_QEST06.pdf PDF] [attachment:KatoenZ_QEST06.bib BibTex] [attachment:KatoenZ_QEST06_pre.pdf PPT] |
| | 22 | |
| | 23 | ==== 2005 ==== |
| | 24 | * J.-P. Katoen and I. S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005. [attachment:KatoenZ_CTIT05_52.pdf PDF] [attachment:KatoenZ_CTIT05_52.bib BibTex] |
| | 25 | * J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST), pages 243-244, 2005. [attachment:KatoenKZ_QEST05.pdf PDF] [attachment:KatoenKZ_QEST05.bib BibTex] [attachment:KatoenKZ_QEST05_pre.pdf PPT] |
