Changes between Version 2 and Version 3 of Specifications

Show
Ignore:
Timestamp:
06/17/08 17:40:50 (5 years ago)
Author:
christinajansen
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.