Sequential equivalence checking without state space traversal

C.A.J. Eijk, van

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

68 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 1998) - Paris, France
Duration: 23 Feb 199826 Feb 1998
Conference number: 1

Conference

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

Cite this