Changes between Version 5 and Version 6 of Specifications

Show
Ignore:
Timestamp:
06/18/08 12:33:30 (5 years ago)
Author:
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]