Changes between Version 1 and Version 2 of news_2005


Ignore:
Timestamp:
Jun 18, 2008, 3:47:57 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • news_2005

    v1 v2  
    1212
    1313=== [wiki:news_2006 News archive of 2006] ===
     14
     15=== News archive of 2005 ===
     16
     17==== 15.11.2005 ====
     18The MRMC is now the first tool that incorporates "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability"!
     19
     20==== 30.09.2005 ====
     21The beta version of MRMC is available for Linux platform. In order to obtain it please e-mail us at mrmc[at]cs.utwente.nl.
     22
     23==== 23.09.2005 ====
     24There was a paper publication at [http://www.qest.org/qest2005/ QEST'05] Conference on the MRMC tool, see [attachment: BibTex] for details.