Real-time state machines and circuit verification with modal functions

Bibliographische Detailangaben

1. Verfasser:	Yodaiken, Victor (VerfasserIn)
Weitere Verfasser:	Avrunin, George S. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amherst, Mass. Univ. of Massachusetts, Dep. of Computer Science 1993
Schriftenreihe:	CMPSCI technical report 93,4
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!