Publications of M. Rivera   Download bibtex file Order by:   Type | Year
<< InProceedings >> TOP
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