SODA

On the verification of open distributed systems

Dam, Mads and Fredlund, Lars-Åke (1998) On the verification of open distributed systems. In: ACM Symposium on Applied Computing (SAC'98), 27 Feb - 1 March 1998, Atlanta, Georgia, USA.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:Pages 532-540.
ID Code:3261
Deposited By:INVALID USER
Deposited On:22 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page