Barros, Tomas and Henrio, Ludovic and Madelaine, Eric (2005) Behavioural models for hierarchical components. In: Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, proceedings. Lecture notes in computer science (3639). Springer, Berlin, Germany, pp. 154-168.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/11537328_14
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 3653 |
| Deposited On: | 05 Mar 2007 |
| Last Modified: | 20 Oct 2009 15:23 |
Repository Staff Only: item control page
