BibTeX record journals/corr/Serwe15

download as .bib file

@inproceedings{DBLP:journals/corr/Serwe15,
  author       = {Wendelin Serwe},
  editor       = {Rob J. van Glabbeek and
                  Jan Friso Groote and
                  Peter H{\"{o}}fner},
  title        = {Formal Specification and Verification of Fully Asynchronous Implementations
                  of the Data Encryption Standard},
  booktitle    = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
                  {MARS} 2015, Suva, Fiji, November 23, 2015},
  series       = {{EPTCS}},
  volume       = {196},
  pages        = {61--147},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.196.6},
  doi          = {10.4204/EPTCS.196.6},
  timestamp    = {Sat, 21 Oct 2023 10:45:54 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Serwe15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics