Changes between Version 43 and Version 44 of WikiStart


Ignore:
Timestamp:
Nov 13, 2008, 1:11:41 PM (9 years ago)
Author:
nguyen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

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