WestminsterResearch
Login | Create Account

Items where Author is Barros, Tomas

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: Article | Book Section
Number of items: 2.

Article

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

Book Section

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.

This list was generated on Sat May 18 04:13:07 2013 BST.
WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.