Taylor expansion diagrams: A canonical representation for verification of data flow designs
Publication Date
2006
Journal or Book Title
IEEE TRANSACTIONS ON COMPUTERS
DOI
https://doi.org/10.1109/TC.2006.153
Pages
1188-1201
Volume
55
Issue
9
Recommended Citation
Ciesielski, M; Kalla, P; and Askar, S, "Taylor expansion diagrams: A canonical representation for verification of data flow designs" (2006). IEEE TRANSACTIONS ON COMPUTERS. 197.
https://doi.org/10.1109/TC.2006.153
COinS