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