C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.
Nicholas Coughlin
Kirsten Winter
Graeme Smith
Published in:
FM (2021)
Keyphrases
</>
database
parameter estimation
statistical model
statistical models
probabilistic model
experimental data
neural network
expert systems
artificial neural networks
complex systems
neural network model
computational models
model construction
formal models