Changes between Version 32 and Version 33 of WikiStart


Ignore:
Timestamp:
Jun 19, 2008, 12:49:58 PM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v32 v33  
    2222  * Formula-dependent and formula-independent bisimulation.
    2323
    24 [[Image(mrmc_cmd.jpg, border=1, align=right, 30%)]]
     24[[Image(mrmc_cmd.jpg, border=1, align=right, 28%)]]
    2525
    2626MRMC is a ''command-line tool'', written in ''C''. It is available for: