SODA

System description: verification of distributed Erlang programs

Arts, Thomas and Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) System description: verification of distributed Erlang programs. In: Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction, 1998.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Lecture Notes In Computer Science; Vol. 1421
ID Code:2614
Deposited By:Vicki Carleson
Deposited On:08 Sep 2009
Last Modified:18 Nov 2009 16:12

Repository Staff Only: item control page