Infoscience

Report

Verifying Concurrent Data Structures Using Data-Expansion

    Reference

    • EPFL-REPORT-199451

    Record created on 2014-06-06, modified on 2016-08-09

Related material