SODA

Toward parametric verification of open distributed systems

Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) Toward parametric verification of open distributed systems. In: Compositionality: The Significant Difference. Lecture Notes In Computer Science, 1536 . Springer-Verlag, pp. 150-185.

Full text not available from this repository.


Item Type:Book Section
ID Code:3263
Deposited By:INVALID USER
Deposited On:22 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page