TY  - BOOK
AU  - Dill
TI  - Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
SN  - 9780262256025
PY  - 2003///
CY  - Cambridge
PB  - MIT Press
KW  - ROBOTICS AND AUTOMATION
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=6267249
ER  -