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. https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2212,2212#msg-2212 Tue, 17 Dec 2024 10:33:04 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2212,2212#msg-2212 https://ira.informatik.uni-freiburg.de/phorum/read.php?43,2212,2212#msg-2212
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.]]> Ralf Wimmer Seminar Methoden der Verifikation Tue, 17 Apr 2007 15:39:36 +0200