Sciweavers

SPIN
2009
Springer

Experience with Model Checking Linearizability

14 years 6 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SPIN
Authors Martin T. Vechev, Eran Yahav, Greta Yorsh
Comments (0)