Changes between Version 2 and Version 3 of Bibliography


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v2 v3  
    1212
    1313==== 2008 ====
    14  * Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. [attachment:Zapreev_PhD08.pdf PDF] [attachment:Zapreev_PhD08.bib BibTex] 
     14 * Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. [attachment:Zapreev_PhD08.pdf PDF] [attachment:Zapreev_PhD08.bib BibTex]
     15
     16==== 2007 ====
     17 * 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]