Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking (2001)
Cached
Download Links
- [gatekeeper.dec.com]
- [gatekeeper.dec.com]
- DBLP
Other Repositories/Bibliography
by
Shaz Qadeer
| Citations: | 21 - 1 self |
