DMCA

Model-Checking Distributed Components: The Vercors Platform (2006)

by Tomás Barros , Antonio Cansado , Eric Madelaine
Venue:In Proceedings of the 3rd International Workshop on Formal Aspects of Component Software FACS’2006
Citations:19 - 4 self