SODA

Specification and verification of communicating systems with value passing

Gurov, Dilian (1998) Specification and verification of communicating systems with value passing. Doctoral thesis, University of Victoria.

Full text not available from this repository.


Item Type:Thesis (Doctoral)
ID Code:3276
Deposited By:INVALID USER
Deposited On:18 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page