GraceGBBCIPSSS11'

@inproceedings{DBLP:conf/sfm/GraceGBBCIPSSS11,
  author    = {Paul Grace and
               Nikolaos Georgantas and
               Amel Bennaceur and
               Gordon S. Blair and
               Franck Chauvel and
               Val{\'e}rie Issarny and
               Massimo Paolucci and
               Rachid Saadi and
               Bertrand Souville and
               Daniel Sykes},
  title     = {The CONNECT Architecture},
  booktitle = {SFM},
  year      = {2011},
  pages     = {27-52},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21455-4_2},
  crossref  = {DBLP:conf/sfm/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfm/2011,
  editor    = {Marco Bernardo and
               Val{\'e}rie Issarny},
  title     = {Formal Methods for Eternal Networked Software Systems -
               11th International School on Formal Methods for the Design
               of Computer, Communication and Software Systems, SFM 2011,
               Bertinoro, Italy, June 13-18, 2011. Advanced Lectures},
  booktitle = {SFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6659},
  year      = {2011},
  isbn      = {978-3-642-21454-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21455-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}