"State-space exploration for concurrent algorithms under weak memory ..."

Bengt Jonsson (2008)

Details and statistics

DOI: 10.1145/1556444.1556453

access: closed

type: Journal Article

metadata version: 2021-08-31