Detection of equivalent state variables in finite state machine verification

C.A.J. Eijk, van, J.A.G. Jess

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProc. 1995 ACM/IEEE International Workshop on Logic Synthesis
Pagina's3.35-3.44
StatusGepubliceerd - 1995
Evenementconference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995 -
Duur: 1 jan 1995 → …

Congres

Congresconference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995
Periode1/01/95 → …
AnderProc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995

Citeer dit