WestminsterResearch

WestminsterResearch will not be accepting deposits until 16th March 2015. This is to allow for a system upgrade and server migration.

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