Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
Jun 18, 2008, 5:09:12 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

minor

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v20 v21  
    5353== ETMCC as a predecessor ==
    5454
    55 MRMC was inspired by a well known tool called [http://www7.informatik.uni-erlangen.de/etmcc/ Erlangen-Twente Markov Chain Checker (ETMCC)], which is a CTMCs model checker supporting CSL and aCSL properties.
     55MRMC was inspired by a well known tool called [http://www7.informatik.uni-erlangen.de/etmcc/ Erlangen-Twente Markov Chain Checker (ETMCC)], which is a CTMC model checker supporting CSL and aCSL properties.
    5656
    5757----