Modellierung WS 2010/11 - Folie 466

Ziele:
Terminierungsnachweis üben
in der Vorlesung:
- 1 und 2 durch geeignete Invariante begründen
- 3 wird nicht versucht, zu entscheiden
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 12.12.2010