Changes between Version 3 and Version 4 of news_2006


Ignore:
Timestamp:
Jun 19, 2008, 12:42:06 PM (10 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

Minor layout improvements.

Legend:

Unmodified
Added
Removed
Modified
  • news_2006

    v3 v4  
    11[[TracNav]]
    22
    3 == MRMC News ==
     3= MRMC News =
    44
    5 === MRMC-News Mailing list ===
     5== MRMC-News Mailing list ==
    66To subscribe, e-mail: '''subscribe mrmc-news'''
    77in the message body to:
    88
    9 === [wiki:News Recent news of 2008] ===
     9== [wiki:News Recent news of 2008] ==
    1010
    11 === [wiki:news_2007 News archive of 2007] ===
     11== [wiki:news_2007 News archive of 2007] ==
    1212
    13 === News archive of 2006 ===
     13== News archive of 2006 ==
    1414
    1515==== 29.12.2006 ====
     
    106106The CTIT technical report on [attachment: "Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability"] has been published, see [attachment: BibTex] for the reference.
    107107
    108 === [wiki:news_2005 News archive of 2005] ===
     108== [wiki:news_2005 News archive of 2005] ==