Next:
Zeitbasierte verknüpfte Automaten als
Up:
Eine CC-Systemfunktion
Previous:
Automatische Verifikation durch Model
Contents
Dichte Zeit statt linearer Zeit: ein Unterschied?
Gerd Doeben-Henisch 2010-12-16