Sciweavers

Share
ASIAN
1999
Springer

Formal Verification of the MCS List-Based Queuing Lock

8 years 11 months ago
Formal Verification of the MCS List-Based Queuing Lock
Kazuhiro Ogata, Kokichi Futatsugi
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where ASIAN
Authors Kazuhiro Ogata, Kokichi Futatsugi
Comments (0)
books