WestminsterResearch

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: 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