Equivalence Checking for Flow-Based Computing.

Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz

Browse the full ICCD paper archive.