Changes between Version 4 and Version 5 of Bibliography


Ignore:
Timestamp:
Jun 17, 2008, 6:22:12 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v4 v5  
    1919
    2020==== 2006 ====
    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]