SODA

Compositional verification of CCS processes

Dam, Mads and Gurov, Dilian (1999) Compositional verification of CCS processes. In: Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics, 6-9 July 1999, Novosibirsk, Akademgorodok, Russia.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Additional Information:LNCS 1755. Springer-Verlag. ISBN:3-540-67102-1
ID Code:3205
Deposited By:INVALID USER
Deposited On:17 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page