@InProceedings{BHM:Facs05,
AUTHOR = {Barros, T. and Henrio, Ludovic and Madelaine, E.},
TITLE = {Verification of Distributed Hierarchical Components},
YEAR = {2005},
MONTH = {October},
BOOKTITLE = {International Workshop on Formal Aspects of Component Software (FACS'05)},
ADDRESS = {Macao},
PUBLISHER = {Electronic Notes in Theoretical Computer Science (ENTCS)},
URL = {http://www-sop.inria.fr/oasis/Vercors/papers/2005-SPIN-Frisco.pdf},
KEYWORDS = {WP3} }
|