%
% GENERATED FROM http://www.coregrid.net
%    by   : anonymous
%    IP   : yoshi.ercim.eu
%    at   : Fri, 15 Jun 2012 09:23:52 +0000 GMT
%    
% Selection : Author: T_Barros
%




@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}
}

@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}
}

@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}
}