Safety by uninterpreted locks
From MaRDI portal
Publication:1891161
DOI10.1006/inco.1995.1027zbMath0828.68070OpenAlexW2030525361MaRDI QIDQ1891161
Georg Lausen, Eljas Soisalon-Soininen
Publication date: 28 May 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1027
This page was built for publication: Safety by uninterpreted locks