Process-Based Design Verification for Systems Involving Shared Resources.

King Sing Cheung, K. O. Chow

Browse the full APSCC paper archive.