Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/tpds.2003.1225053> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- tpds.2003.1225053 author "Shaz Qadeer".
- tpds.2003.1225053 date "August 2003".
- tpds.2003.1225053 doi "10.1109/TPDS.2003.1225053".
- tpds.2003.1225053 isCitedBy Consistency_model.
- tpds.2003.1225053 issue "8".
- tpds.2003.1225053 journal "IEEE Transactions on Parallel and Distributed Systems".
- tpds.2003.1225053 pages "730–741".
- tpds.2003.1225053 title "Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking".
- tpds.2003.1225053 volume "14".