Changes between Version 5 and Version 6 of Specifications


Ignore:
Timestamp:
Jun 18, 2008, 12:33:30 PM (11 years ago)
Author:
Viet Yen Nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v5 v6  
    1212  * Version 1.2.1 [attachment:Documentation_1.2.1.txt TXT]
    1313  * Version 1.2 [attachment:Documentation_1.2.txt TXT]
     14 * The MRMC Development Process
     15  * Version 1.3 [attachment:4DEVELOPERS TXT]
    1416 * Wikipedia and MRMC:
    1517  * The Wikipedia page. [http://en.wikipedia.org/wiki/Markov_Reward_Model_Checker_(MRMC) LINK]