Next:
Automatische Verifikation durch Model
Up:
Eine CC-Systemfunktion
Previous:
Das potentielle Verhalten verknüpfter
Contents
Die Spezifikation von Eigenschaften verknüpfter Strukturen
Gerd Doeben-Henisch 2010-12-16