C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs.
Vineet Kahlon
Chao Wang
Published in:
CAV (2010)
Keyphrases
</>
probabilistic model
high level
data model