DBLP Record 'conf/IEEEscc/MokhtariBHCHL08'

BibTeX

@inproceedings{DBLP:conf/IEEEscc/MokhtariBHCHL08,
  author    = {Karima Mokhtari and
               Salima Benbernou and
               Mohand-Said Hacid and
               Emmanuel Coquery and
               Frank Leymann},
  title     = {Verification of Privacy Timed Properties in Web Service
               Protocols},
  booktitle = {IEEE SCC (2)},
  year      = {2008},
  pages     = {593-594},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SCC.2008.154},
  crossref  = {DBLP:conf/IEEEscc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEscc/2008,
  title     = {2008 IEEE International Conference on Services Computing
               (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA},
  booktitle = {IEEE SCC},
  publisher = {IEEE Computer Society},
  year      = {2008},
  isbn      = {978-0-7695-3283-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}