DBLP Record 'conf/opodis/BenevidesS97'

BibTeX

@inproceedings{DBLP:conf/opodis/BenevidesS97,
  author    = {Mario R. F. Benevides and
               Marcelo Sihman},
  title     = {Automatic Generation of CCS Specifications for Resource
               Sharing Problems},
  booktitle = {OPODIS},
  year      = {1997},
  pages     = {111-122},
  crossref  = {DBLP:conf/opodis/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/opodis/1997,
  editor    = {Alain Bui and
               Marc Bui and
               Vincent Villain},
  title     = {On Principles Of Distributed Systems, Proceedings of the
               1997 International Conference, Chantilly, France, December
               10-12, 1997},
  booktitle = {OPODIS},
  publisher = {Hermes},
  year      = {1997},
  isbn      = {2-86601-659-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}