Next:
Dichte Zeit statt linearer
Up:
Eine CC-Systemfunktion
Previous:
Die Spezifikation von Eigenschaften
Contents
Automatische Verifikation durch Model Checking
Gerd Doeben-Henisch 2010-12-16