DBLP Record 'conf/forte/AbreuMFG09'

BibTeX

@inproceedings{DBLP:conf/forte/AbreuMFG09,
  author    = {Jo{\~a}o Abreu and
               Franco Mazzanti and
               Jos{\'e} Luiz Fiadeiro and
               Stefania Gnesi},
  title     = {A Model-Checking Approach for Service Component Architectures},
  booktitle = {FMOODS/FORTE},
  year      = {2009},
  pages     = {219-224},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02138-1_15},
  crossref  = {DBLP:conf/forte/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/2009,
  editor    = {David Lee and
               Ant{\'o}nia Lopes and
               Arnd Poetzsch-Heffter},
  title     = {Formal Techniques for Distributed Systems, Joint 11th IFIP
               WG 6.1 International Conference FMOODS 2009 and 29th IFIP
               WG 6.1 International Conference FORTE 2009, Lisboa, Portugal,
               June 9-12, 2009. Proceedings},
  booktitle = {FMOODS/FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5522},
  year      = {2009},
  isbn      = {978-3-642-02137-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02138-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}