@InProceedings{BCMR:facs06,
AUTHOR = {Barros, T. and Cansado, A. and Madelaine, E. and Rivera, M.},
TITLE = {Model Checking Distributed Components : The Vercors Platform},
YEAR = {2006},
MONTH = {September},
BOOKTITLE = {3rd workshop on Formal Aspects of Component Systems},
ADDRESS = {Prague, Tcheque Republic},
PUBLISHER = {ENTCS},
URL = {http://hal.inria.fr/inria-00091569/en/},
KEYWORDS = {WP3}
}
|
