DMCA

Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs (2006)

by Maciej Ciesielski , Priyank Kalla , Serkan Askar
Venue:IEEE Trans. on Computers
Citations:14 - 10 self