BibTeX record conf/cds/EisenbachKM94

download as .bib file

@inproceedings{DBLP:conf/cds/EisenbachKM94,
  author       = {Susan Eisenbach and
                  Jeff Kramer and
                  Jeff N. Magee},
  title        = {{REGIS-DARWIN} specified in the {\(\pi\)}-calculus},
  booktitle    = {Second International Workshop on Configurable Distributed Systems,
                  1994, Proceedings, Pittsburgh, {PA} , USA, 21-23 March, 1994},
  pages        = {213},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/IWCDS.1994.289915},
  doi          = {10.1109/IWCDS.1994.289915},
  timestamp    = {Thu, 23 Mar 2023 23:57:50 +0100},
  biburl       = {https://dblp.org/rec/conf/cds/EisenbachKM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics