Making Lock-free Data Structures Verifiable with Artificial Transactions

Created by W.Langdon from gp-bibliography.bib Revision:1.4951

@InProceedings{Yuan:2015:PLOS,
}

Genetic Programming entries for Xinhao Yuan David Williams-King Junfeng Yang Simha Sethumadhavan

Citations