Experience with Model Checking Linearizability

by Martin Vechev , Eran Yahav , Greta Yorsh
Citations:14 - 2 self