BibTeX record conf/podc/ManoliosT03

download as .bib file

@inproceedings{DBLP:conf/podc/ManoliosT03,
  author    = {Panagiotis Manolios and
               Richard J. Trefler},
  title     = {A lattice-theoretic characterization of safety and liveness},
  booktitle = {Proceedings of the Twenty-Second {ACM} Symposium on Principles of
               Distributed Computing, {PODC} 2003, Boston, Massachusetts, USA, July
               13-16, 2003},
  pages     = {325--333},
  year      = {2003},
  crossref  = {DBLP:conf/podc/2003},
  url       = {http://doi.acm.org/10.1145/872035.872083},
  doi       = {10.1145/872035.872083},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/ManoliosT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/2003,
  editor    = {Elizabeth Borowsky and
               Sergio Rajsbaum},
  title     = {Proceedings of the Twenty-Second {ACM} Symposium on Principles of
               Distributed Computing, {PODC} 2003, Boston, Massachusetts, USA, July
               13-16, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=872035},
  isbn      = {1-58113-708-7},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier