Automatic verification of finite state machines using temporal logic

Bibliographische Detailangaben

1. Verfasser:	Browne, Michael C. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Pittsburgh, Pa. 1989
Schriftenreihe:	Carnegie-Mellon University <Pittsburgh> / Computer Science Department: CMU-CS 89,117.
Schlagworte:	Integrated circuits > Very large scale integration Verification (Logic) Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!