![](/img/cover-not-exists.png)
Development of a verified Erlang program for resource locking
Thomas Arts, Clara Benac Earle, John DerrickVolume:
5
Language:
english
Pages:
16
DOI:
10.1007/s10009-003-0114-9
Date:
March, 2004
File:
PDF, 540 KB
english, 2004