Sciweavers

PPDP
2007
Springer

Local reasoning about storable locks

13 years 10 months ago
Local reasoning about storable locks
Josh Berdine
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where PPDP
Authors Josh Berdine
Comments (0)