IndexBrowse  
Publications of E. Madelaine   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
1
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.  
2
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. URL   Bibtex entry
Keywords: WP3.  
3
T. Barros, A. Cansado, E. Madelaine and M. Rivera. Model Checking Distributed Components : The Vercors Platform. In 3rd workshop on Formal Aspects of Component Systems, ENTCS, Prague, Tcheque Republic, September 2006. URL   Bibtex entry
Keywords: WP3.  
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44
        BibAdmin