×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [future workmodel]
Home >
future workmodel
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