Changes between Version 6 and Version 7 of Specifications


Ignore:
Timestamp:
Jun 18, 2008, 4:23:35 PM (10 years ago)
Author:
Viet Yen Nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v6 v7  
    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]
    1614 * Wikipedia and MRMC:
    1715  * The Wikipedia page. [http://en.wikipedia.org/wiki/Markov_Reward_Model_Checker_(MRMC) LINK]