DBLP Record 'conf/ipps/SalaunAA02'

BibTeX

@inproceedings{DBLP:conf/ipps/SalaunAA02,
  author    = {Gwen Sala{\"u}n and
               Michel Allemand and
               Christian Attiogb{\'e}},
  title     = {Specification of an Access Control System with a Formalism
               Combining CCS and CASL},
  booktitle = {IPDPS},
  year      = {2002},
  ee        = {http://computer.org/proceedings/ipdps/1573/workshops/15730211babs.htm},
  crossref  = {DBLP:conf/ipps/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ipps/2002,
  title     = {16th International Parallel and Distributed Processing Symposium
               (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA,
               CD-ROM/Abstracts Proceedings},
  booktitle = {IPDPS},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1573-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}