Development of a verified Erlang program for resource locking (2001)

Cached

Download Links

by Thomas Arts , Clara Benac Earle
Venue: Formal Methods in Industrial Critical Systems
Citations:16 - 3 self

Document Versions

Development of a verified Erlang program for resource locking –Thomas Arts, Clara Benac Earle — 2001 — Formal Methods in Industrial Critical Systems