@inproceedings{DBLP:conf/nca/GelastouGP08,
  author    = {Marina Gelastou and
               Chryssis Georgiou and
               Anna Philippou},
  title     = {On the Application of Formal Methods for Specifying and
               Verifying Distributed Protocols},
  booktitle = {NCA},
  year      = {2008},
  pages     = {195-204},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/NCA.2008.24},
  crossref  = {DBLP:conf/nca/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nca/2008,
  title     = {Proceedings of The Seventh IEEE International Symposium
               on Networking Computing and Applications, NCA 2008, July
               10-12, 2008, Cambridge, Massachusetts, USA},
  booktitle = {NCA},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-0-7695-3192-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}