Weak2SC

swMATH18521MaRDI QIDQ30360FDOQ30360

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-46750-4_1

Cited In (2)

• UMM
• Verification of Concurrent Programs on Weak Memory Models

This page was built for software: Weak2SC