Verification of Distributed Hierarchical Components
Tomás Barros, Ludovic Henrio, Eric MadelaineVolume:
160
Year:
2006
Language:
english
Pages:
15
DOI:
10.1016/j.entcs.2006.05.014
File:
PDF, 423 KB
english, 2006