T. Barros,
Ludovic Henrio and
E. Madelaine. Verification of Distributed Hierarchical Components. In International Workshop on Formal Aspects of Component Software (FACS'05), Electronic Notes in Theoretical Computer Science (ENTCS), Macao, October 2005. Keywords: WP3.
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
