next up previous contents
Next: Ein RT Problem Up: Verifikation Previous: Automatische Verifikation   Contents

Beispiel RTS als Automat


Subsections
Gerd Doeben-Henisch 2013-01-16