Title

Taylor expansion diagrams: A canonical representation for verification of data flow designs

Publication Date

2006

Journal or Book Title

IEEE TRANSACTIONS ON COMPUTERS

DOI

10.1109/TC.2006.153

Volume

55

Pages

1188-1201

Issue

9

This document is currently not available here.

Share

COinS