Changes between Version 22 and Version 23 of People


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

Added a nice picture

Legend:

Unmodified
Added
Removed
Modified
  • People

    v22 v23  
    22
    33= MRMC People =
     4
     5[[Image(http://www.mrmc-tool.org/images/people.gif, nolink, align=right, 33%)]]
    46
    57Currently, the tool is being developed in the [http://www-i2.informatik.rwth-aachen.de/ Software Modeling and Verification (MOVES) group]