Seminar Methoden der Verifikation :  LRA+ABS Forum The fastest message board... ever.
 
Eröffnung des Forums
Posted by: Ralf Wimmer ()
Date: April 17, 2007 03:39PM

Liebe Teilnehmer am Seminar "Methoden der Verifikation" im SS 2007,

dieses Forum soll den Austausch zwischen den Teilnehmern erleichtern und dabei helfen, Fragen und Probleme zu klären. Es ist ausdrücklich erwünscht, dass sich Leute mit verwandten Themen absprechen und ihre Vorträge bzgl. Notationen und gemeinsamen Inhalten (Definitionen, ...) abstimmen.

Um im Forum Nachrichten hinterlassen zu können, muss man sich anmelden, weil früher unsere Foren ohne die Anmeldepflicht mit Spam überflutet wurden. Die Anmeldung erfolgt über <Log In>, <Not Registered? Click here to register now.>.

Gruß,
Ralf.



Edited 1 time(s). Last edit at 04/17/2007 03:40PM by wimmer.

Options: ReplyQuote


Sorry, you do not have permission to post/reply in this forum.
This forum powered by Phorum.