Model-Checking Task Parallel Programs for Data-Race
Crossref DOI link: https://doi.org/10.1007/978-3-319-77935-5_25
Published Online: 2018-03-11
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nakade, Radha
Mercer, Eric http://orcid.org/0000-0002-2264-2958
Aldous, Peter http://orcid.org/0000-0003-0602-2000
McCarthy, Jay
License valid from 2018-01-01