Changes between Version 14 and Version 15 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v14 v15  
    5555
    5656== Getting MRMC models ==
    57 MRMC models can be generated from [http://www.prismmodelchecker.org/ Prism]
    58 models, using the command line Prism starting from the version 3.0.
    59 For more information on generating MRMC models see [wiki:Specifications MRMC Manual].
     57MRMC models can be generated using [http://www.prismmodelchecker.org/ Prism],
     58starting from the version 3.0. For more information on generating MRMC models,
     59see [wiki:Specifications MRMC Manual].
    6060
    6161----