![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang: Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV 2004: 427-439 |
Selection of 1 from 1 records - Zhichuan Zhang has 4 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)