Vol-1688⫷ Vol-1689 ⫸Vol-1690
urn:nbn:de:0074-1689-0


Vol-1689/paper8⫷Vol-1689/paper9⫸Vol-1689/paper10
Maximilian SenftlebenKlaus Schneider 0001

Specifying Weak Memory Consistency with Temporal Logic