BibTeX records: Benjamin Egelund-Müller

download as .bib file

@article{DBLP:journals/bise/Egelund-MullerE17,
  author    = {Benjamin Egelund{-}M{\"{u}}ller and
               Martin Elsman and
               Fritz Henglein and
               Omri Ross},
  title     = {Automated Execution of Financial Contracts on Blockchains},
  journal   = {Bus. Inf. Syst. Eng.},
  volume    = {59},
  number    = {6},
  pages     = {457--467},
  year      = {2017}
}
@inproceedings{DBLP:conf/birthday/CertezeanuDELSW16,
  author    = {Razvan Certezeanu and
               Sophia Drossopoulou and
               Benjamin Egelund{-}M{\"{u}}ller and
               K. Rustan M. Leino and
               Sinduran Sivarajan and
               Mark J. Wheelhouse},
  title     = {Quicksort Revisited - Verifying Alternative Versions of Quicksort},
  booktitle = {Theory and Practice of Formal Methods},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  pages     = {407--426},
  publisher = {Springer},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics