Changes between Version 2 and Version 3 of Specifications


Ignore:
Timestamp:
Jun 17, 2008, 5:40:50 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v2 v3  
    1515== Presentations: ==
    1616 * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    17  * How Fast and Fat Is Your Probabilistic Model Checker? [PPS]
    18  * Bisimulation minimisation mostly speeds up probabilistic model checking. [PDF]
    19  * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [PDF]
    20  * A Markov Reward Model Checker. [PDF]
    21  * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [PDF]
     17 * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]
     18 * Bisimulation minimisation mostly speeds up probabilistic model checking. [attachment: PDF]
     19 * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [attachment: PDF]
     20 * A Markov Reward Model Checker. [attachment: PDF]
     21 * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [attachment: PDF]
    2222
    2323== Posters: ==
    24  * Tag der Informatik'06 at RWTH-Aachen. [JPG], [PNG]
     24 * Tag der Informatik'06 at RWTH-Aachen. [attachment: JPG], [attachment: PNG]
    2525
    2626'''Note''': This page is constantly under construction, more documents will be coming here.