Changes between Version 11 and Version 12 of WikiStart

Show
Ignore:
Timestamp:
06/18/08 12:40:43 (5 years ago)
Author:
nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v11 v12  
    22 
    33= Welcome to the Markov Reward Model Checker = 
    4  
     4A tool developed at the Formal Methods Group, University of Twente and Software Modeling and Verification group at RWTH Aachen University. 
    55[[PageOutline(2-3, Content:, inline)]] 
    66