T. Barros,
Ludovic Henrio and
E. Madelaine. Behavioural Models for Hierarchical Components. In
Patrice Godefroid editor, Model Checking Software, 12th International SPIN Workshop, Vol. LNCS 3639:154-168, Springer, San Francisco, CA, USA, August 2005. Keywords: WP3.
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
