DMCA

FACS’05 Preliminary Version Verification of Distributed Hierarchical Components

by Tomás Barros , Ludovic Henrio , Eric Madelaine