Publications of Patrice Godefroid   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
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. URL   Bibtex entry
Keywords: WP3.  
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44