MSC Execute Projekt Seite

News

This page in English!
16.07.2004

Die Projektseiten werden veröffentlicht.

08.12.2004

Das Projekt wird zum "Download" bereit gestellt.

27.01.2005

Die Diplomarbeit ist veröffentlicht.

03.03.2005

Nichtdeterministische Alternativen können nun auf Wunsch vom Benutzer entschieden werden.
(Starte das MSC mit der Option "-manualChoice")
Weitere Fehler wurden behoben.


Markus Schlütter
Last modified: Thu Jan 27 05:49:52 PST 2005