@InProceedings{BHM:Spin05,
AUTHOR = {Barros, T. and Henrio, Ludovic and Madelaine, E.},
TITLE = {Behavioural Models for Hierarchical Components},
YEAR = {2005},
MONTH = {August},
BOOKTITLE = {Model Checking Software, 12th International SPIN Workshop},
VOLUME = {LNCS 3639},
PAGES = {154-168},
EDITOR = {Godefroid, Patrice},
ADDRESS = {San Francisco, CA, USA},
PUBLISHER = {Springer},
URL = {http://www-sop.inria.fr/oasis/Vercors/papers/2005-SPIN-Frisco.pdf},
KEYWORDS = {WP3}
}
|
