Automatic verification of asynchronous circuits using temporal logic

Bibliographische Detailangaben

1. Verfasser:	Dill, D. (VerfasserIn)
Weitere Verfasser:	Clarke, E. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1985
Schriftenreihe:	Reports / CARNEGIE-MELLON UNIV CMU-CS-85-125
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!