Changes between Version 3 and Version 4 of Bibliography


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v3 v4  
    1616==== 2007 ====
    1717 * David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marioelle Stoelinga and Ivan Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? In Haifa Verification Conference (HVC), 2007. [attachment:JansenKOSZ_HVC07.pdf PDF] [attachment:JansenKOSZ_HVC07.bib BibTex] [attachment:JansenKOSZ_HVC07.pps PPT]
    18  * Joost-Pieter Katoen, Tim Kemna, Ivan Zapreev and David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007. [attachment:KatoenKZJ_TACAS07.pdf PDF] [attachment:KatoenKZJ_TACAS07.bib BibTex] [attachment:tacas_2007_03_26.pdf PPT]   
     18 * Joost-Pieter Katoen, Tim Kemna, Ivan Zapreev and David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007. [attachment:KatoenKZJ_TACAS07.pdf PDF] [attachment:KatoenKZJ_TACAS07.bib BibTex] [attachment:tacas_2007_03_26.pdf PPT]
     19
     20==== 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]