Amanote Research
Register
Sign In
Soundness of the Quasi-Synchronous Abstraction
doi 10.1109/fmcad.2016.7886655
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2016
Authors
Guillaume Baudart
Timothy Bourke
Marc Pouzet
Publisher
IEEE