Browse by People

Up a level
Export as [feed] Atom [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 2.

Barros, Tomas, Henrio, Ludovic and Madelaine, Eric (2006) Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science, 160. pp. 41-55. ISSN 1571-0661

Barros, Tomas, 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.

This list was generated on Sun Dec 4 23:35:17 2016 GMT.