Title

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

Publication Date

2006

Journal or Book Title

IEEE TRANSACTIONS ON COMPUTERS

Volume

55

Pages

1188-1201

Issue

9

This document is currently not available here.

Share

COinS