Sequential equivalence checking without state space traversal

C.A.J. Eijk, van

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

67 Citations (Scopus)

Original language	English
Title of host publication	Proc. Conference on Design, Automation and Test in Europe, DATE
Editors	A. Kunzmann
Place of Publication	Los Alamitos, CA
Publisher	IEEE Computer Society
Pages	618-623
ISBN (Print)	0-8186-8395-7
DOIs	https://doi.org/10.1109/DATE.1998.655922
Publication status	Published - 1998
Event	1st Design, Automation and Test in Europe Conference and Exhibition (DATE 1998) - Paris, France Duration: 23 Feb 1998 → 26 Feb 1998 Conference number: 1

Conference	1st Design, Automation and Test in Europe Conference and Exhibition (DATE 1998)
Abbreviated title	DATE 1998
Country/Territory	France
City	Paris
Period	23/02/98 → 26/02/98

Access to Document

@inproceedings{9f574603439547a6a2c2ccfaed7b60fc,

title = "Sequential equivalence checking without state space traversal",

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

year = "1998",

doi = "10.1109/DATE.1998.655922",

language = "English",

isbn = "0-8186-8395-7",

pages = "618--623",

editor = "A. Kunzmann",

booktitle = "Proc. Conference on Design, Automation and Test in Europe, DATE",

publisher = "IEEE Computer Society",

address = "United States",

note = "1st Design, Automation and Test in Europe Conference and Exhibition (DATE 1998), DATE 1998 ; Conference date: 23-02-1998 Through 26-02-1998",

}

Eijk, van, CAJ 1998, Sequential equivalence checking without state space traversal. in A Kunzmann (ed.), Proc. Conference on Design, Automation and Test in Europe, DATE. IEEE Computer Society, Los Alamitos, CA, pp. 618-623, 1st Design, Automation and Test in Europe Conference and Exhibition (DATE 1998), Paris, France, 23/02/98. https://doi.org/10.1109/DATE.1998.655922

TY - GEN

T1 - Sequential equivalence checking without state space traversal

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

N1 - Conference code: 1

PY - 1998

Y1 - 1998

U2 - 10.1109/DATE.1998.655922

DO - 10.1109/DATE.1998.655922

M3 - Conference contribution

SN - 0-8186-8395-7

SP - 618

EP - 623

BT - Proc. Conference on Design, Automation and Test in Europe, DATE

A2 - Kunzmann, A.

PB - IEEE Computer Society

CY - Los Alamitos, CA

T2 - 1st Design, Automation and Test in Europe Conference and Exhibition (DATE 1998)

Y2 - 23 February 1998 through 26 February 1998

ER -