SODA

Proving properties of dynamic process networks

Dam, Mads (1998) Proving properties of dynamic process networks. Information and Computation, 140 (2). pp. 95-114.

Full text not available from this repository.


Item Type:Article
Additional Information:Full version of "Compositional proof systems for model checking infinite state processes."
ID Code:3262
Deposited By:INVALID USER
Deposited On:22 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page