Behavioural models for hierarchical components

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:
Item Type: Book Section
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)