Scheduled Maintenance on March 25th, 2017:
Single article purchases and IEEE account management will be unavailable from 4:00 AM until 6:30 PM (ET). We apologize for the inconvenience.
By Topic

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)

This chapter contains sections titled: Introduction, Trace Theory, Example Trace Structures, Operations on Trace Structures, Verification with Trace Theory, An Example: Distributed Mutual Exclusion, Conclusions and Future Work, Acknowledgements, References