iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/fmcad/MeshmanRY15.rdf
Yuri Meshman et al.: Pattern-based Synthesis of Synchronization for the C++ Memory Model. (2015) conf/fmcad/MeshmanRY15 10.1109/FMCAD.2015.7542261 Pattern-based Synthesis of Synchronization for the C++ Memory Model. 3 Yuri Meshman 1 Noam Rinetzky 2 Eran Yahav 3 120-127 FMCAD FMCAD 2015 2015 provenance information for RDF data of dblp record 'conf/fmcad/MeshmanRY15' 2023-05-30T17:04:45+0200