TGI-Lehre WWW
	Kontakt | Index | Suche | Rundgang | English

Verifikation von Systemmodellen

Veranstalter: Daniel Moldt und Rüdiger Valk

Diese Seite enthält Material und zusätzliche Informationen zur
Hauptstudiumsschwerpunktvorlesung im WiSe 2001/2002

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis

Link zu offiziellen Angaben

Materialien und sonstige Links

• Information zu Renew
• Vorlesung: Ablaufmodellierung in Organisationen

Korrekturen, Anmerkungen bitte an