Model-checking Distributed Components: The Vercors Platform (0)

by T Barros, A Cansado, E Madelaine, M Rivera
Venue:Electr. Notes Theor. Comput. Sci