Changes between Version 7 and Version 8 of Specifications


Ignore:
Timestamp:
Jun 18, 2008, 4:55:19 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v7 v8  
    88
    99=== Documentation: ===
    10  * The MRMC interface:
     10
     11 * The MRMC manuals:
    1112  * Version 1.2.2 [attachment:Documentation_1.2.2.txt TXT]
    1213  * Version 1.2.1 [attachment:Documentation_1.2.1.txt TXT]
     
    1718
    1819=== Presentations: ===
     20
    1921 * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    2022 * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]
     
    2527
    2628=== Posters: ===
     29
    2730 * Tag der Informatik'06 at RWTH-Aachen. [attachment: JPG], [attachment: PNG]
    2831