SODA

Verifying a distributed database lookup manager written in Erlang

Arts, Thomas and Dam, Mads (1999) Verifying a distributed database lookup manager written in Erlang. In: FM'99 - Formal Methods: Proceedings of World Congress on Formal Methods in the Development of Computing Systems, 20- 24 Sept 1999, Toulouse, France.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Lecture notes in computer science; 1708. Pages 681-700.
ID Code:3201
Deposited By:INVALID USER
Deposited On:30 Jul 2008
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page