Sequential equivalence checking without state space traversal

C.A.J. Eijk, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

64 Citations (Scopus)
Original languageEnglish
Title of host publicationProc. Conference on Design, Automation and Test in Europe, DATE
EditorsA. Kunzmann
Place of PublicationLos Alamitos, CA
PublisherIEEE Computer Society
Pages618-623
ISBN (Print)0-8186-8395-7
DOIs
Publication statusPublished - 1998
Event1st Design, Automation and Test in Europe Conference and Exhibition (DATE '98) - Paris, France
Duration: 23 Feb 199826 Feb 1998
Conference number: 1

Conference

Conference1st Design, Automation and Test in Europe Conference and Exhibition (DATE '98)
Abbreviated titleDATE '98
CountryFrance
CityParis
Period23/02/9826/02/98

Cite this

Eijk, van, C. A. J. (1998). Sequential equivalence checking without state space traversal. In A. Kunzmann (Ed.), Proc. Conference on Design, Automation and Test in Europe, DATE (pp. 618-623). IEEE Computer Society. https://doi.org/10.1109/DATE.1998.655922