Automatic Verification of Directory-Based Consistency Protocols

DOI10.1007/978-3-642-04420-5_6zbMath1260.68224OpenAlexW1955157903MaRDI QIDQ3646250

Could not fetch data.

Publication date: 19 November 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04420-5_6

Mathematics Subject Classification ID

Could not fetch data.