Changes between Version 35 and Version 36 of WikiStart


Ignore:
Timestamp:
Jun 19, 2008, 9:38:38 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

minor fixes

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v35 v36  
    33= What is MRMC? =
    44
    5 [[Image(http://www.mrmc-tool.org/images/house.gif, nolink, align=right, 35%)]]
     5[[Image(http://www.mrmc-tool.org/images/house.gif, nolink, align=right, 33%)]]
    66
    77'''MRMC is a model checker for:'''