Changes between Version 33 and Version 34 of WikiStart


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

Added a nice picture

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v33 v34  
    22
    33= What is MRMC? =
     4
     5[[Image(http://www.mrmc-tool.org/images/house.gif, align=right, 35%)]]
    46
    57'''MRMC is a model checker for:'''