Maciej J. Ciesielski, Priyank Kalla, Serkan Askar. Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs. IEEE Transactions on Computers, 55(9):1188-1201, 2006. [doi]
@article{CiesielskiKA06,
title = {Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs},
author = {Maciej J. Ciesielski and Priyank Kalla and Serkan Askar},
year = {2006},
doi = {10.1109/TC.2006.153},
url = {http://doi.ieeecomputersociety.org/10.1109/TC.2006.153},
tags = {data-flow},
researchr = {https://researchr.org/publication/CiesielskiKA06},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {55},
number = {9},
pages = {1188-1201},
}