Taylor Expansion Diagrams: A compact, canonical representation with applications to symbolic verification
Publication Date
2002
Journal or Book Title
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS
DOI
https://doi.org/10.1109/DATE.2002.998286
Pages
285-289
Recommended Citation
Ciesielski, MJ; Kalla, P; Zeng, ZH; and Rouzeyre, B, "Taylor Expansion Diagrams: A compact, canonical representation with applications to symbolic verification" (2002). DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS. 202.
https://doi.org/10.1109/DATE.2002.998286