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
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
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/3652

Actions (login required)

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