Concurrency Verification with Maximal Path Causality | Conference Paper individual record
identifier
385794SE
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
9781450355735