Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A
Number of items: 1.

A

Arts, Thomas, Earle, Clara Benac, Derrick, John (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779. (doi:10.1007/s10009-003-0114-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13984)

This list was generated on Tue Dec 24 23:36:41 2024 GMT.