WestminsterResearch

Verification of distributed hierarchical components

Barros, Tomas and Henrio, Ludovic and Madelaine, Eric (2006) Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science, 160 . pp. 41-55. ISSN 1571-0661

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1016/j.entcs.2006.05.014


Item Type:Article
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:3652
Deposited On:05 Mar 2007
Last Modified:20 Oct 2009 15:23

Repository Staff Only: item control page