Changes between Version 34 and Version 35 of WikiStart


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

minor

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

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