% % GENERATED FROM http://www.coregrid.net % by : anonymous % IP : yoshi.ercim.eu % at : Fri, 15 Jun 2012 09:26:05 +0000 GMT % % Selection : Author: Patrice_Godefroid % @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} }