Verification of distributed hierarchical components

Barros, Tomas, 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:
Item Type: Article
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 05 Mar 2007
Last Modified: 20 Oct 2009 14:23

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)