BibTeX record: conf/sfm/GraceGBBCIPSSS11

download as .bib file

@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 = {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},
  pages     = {27--52},
  year      = {2011},
  crossref  = {DBLP:conf/sfm/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21455-4_2},
  doi       = {10.1007/978-3-642-21455-4_2},
  timestamp = {Wed, 15 Jun 2011 13:45:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sfm/GraceGBBCIPSSS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6659},
  publisher = {Springer},
  year      = {2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-21455-4},
  doi       = {10.1007/978-3-642-21455-4},
  isbn      = {978-3-642-21454-7},
  timestamp = {Wed, 15 Jun 2011 13:41:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sfm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}