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. Keywords: WP3.
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44