I7 | Lehre | Model-Checking II

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.


		Chair for Foundations of Software Reliability and Theoretical Computer Science


	Home

	Contact

	Teaching
	lectures
	exercises
	seminars
	training courses
	proseminars
	research seminars

	SS 2008
	WS 2007/2008
	SS 2007
	WS 2006/2007
	SS 2006
	WS 2005/2006
	SS 2005
	WS 2004/2005
	SS 2004
	Before 2004

	People

	Publications

	Research

	Help


	Model-Checking II \| WS 2008/09

Neuigkeiten | Termine | Inhalt | Folien

20. Oktober 2008:

Der Termin der Vorlesung hat sich geändert. Die Vorlesung findet ab jetzt jeweils montags um 14:15 Uhr statt, und zwar in Raum 03.11.058. Die nächste Vorlesung ist am 27. Oktober.

8. Oktober 2008:

Die Vorlesung findet erstmals am Donnerstag, 16. Oktober 2008 statt.