×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [motivationsconcurrent]
Home >
motivationsconcurrent
Model Checking Linearizability via Refinement 1 ICFEM 2008 Model Checking Linearizability via Refinement Yang LIU, Wei CHEN, Yanhong A. LIU, and Jun SUN.
213 views