Detection of equivalent state variables in finite state machine verification

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis
Pages	3.35-3.44
Publication status	Published - 1995
Event	conference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995 - Duration: 1 Jan 1995 → …

Conference	conference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995
Period	1/01/95 → …
Other	Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995

Cite this

@inproceedings{28448c2d71fb45c28b8bd6d6fd70a1dc,

title = "Detection of equivalent state variables in finite state machine verification",

author = "{Eijk, van}, C.A.J. and J.A.G. Jess",

year = "1995",

language = "English",

pages = "3.35--3.44",

booktitle = "Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis",

note = "conference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995 ; Conference date: 01-01-1995",

}

TY - GEN

T1 - Detection of equivalent state variables in finite state machine verification

AU - Eijk, van, C.A.J.

AU - Jess, J.A.G.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SP - 3.35-3.44

BT - Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis

T2 - conference; Proc. 1995 ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 3 May 1995

Y2 - 1 January 1995

ER -