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
