TY  - JOUR

T1  - Development of a verified Erlang program for resource locking.

JO  - Int. J. Softw. Tools Technol. Transf.

PY  - 2004/03/01

AU  - Arts T

AU  - Earle CB

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/s10009-003-0114-9

VL  - 5

SP  - 205

EP  - 220

Y2  - 2025/11/27

ER  -