BibTeX record journals/corr/abs-2308-10652

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2308-10652,
  author       = {Wolfgang Jeltsch and
                  Javier D{\'{\i}}az},
  editor       = {Cl{\'{e}}ment Aubert and
                  Cinzia Di Giusto and
                  Simon Fowler and
                  Larisa Safina},
  title        = {Proofs about Network Communication: For Humans and Machines},
  booktitle    = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
                  Lisbon, Portugal, 19th June 2023},
  series       = {{EPTCS}},
  volume       = {383},
  pages        = {1--14},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.383.1},
  doi          = {10.4204/EPTCS.383.1},
  timestamp    = {Mon, 11 Sep 2023 15:45:27 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-10652.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.