Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
DATE, 2002.
@inproceedings{DATE-2002-CiesielskiKZR,
acmid = "874383",
author = "Maciej J. Ciesielski and Priyank Kalla and Zhihong Zeng and Bruno Rouzeyre",
booktitle = "{Proceedings of the Seventh Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2002.998286",
isbn = "0-7695-1471-5",
pages = "285--289",
publisher = "{IEEE Computer Society}",
title = "{Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification}",
year = 2002,
}