Automatic verification of asynchronous circuits

Bibliographische Detailangaben

1. Verfasser:	Lee, Trevor W. S. (VerfasserIn)
Körperschaft:	University of British Columbia Department of Computer Science (Herausgebendes Organ)
Weitere Verfasser:	Greenstreet, Mark R. (VerfasserIn), Seger, Carl-Johan H. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Vancouver University of British Columbia, Department of Computer Science 1993
Schriftenreihe:	Technical report / Department of Computer Science, University of British Columbia 93-40
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!