BibTeX record conf/srds/DombrowskiJKG16

download as .bib file

@inproceedings{DBLP:conf/srds/DombrowskiJKG16,
  author       = {Christian Dombrowski and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen and
                  James Gross},
  title        = {Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency
                  Wireless Networks},
  booktitle    = {35th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2016,
                  Budapest, Hungary, September 26-29, 2016},
  pages        = {307--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SRDS.2016.048},
  doi          = {10.1109/SRDS.2016.048},
  timestamp    = {Fri, 24 Mar 2023 00:03:01 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/DombrowskiJKG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics