BibTeX record conf/sc/DinhJAJ16

download as .bib file

@inproceedings{DBLP:conf/sc/DinhJAJ16,
  author    = {Minh Ngoc Dinh and
               Chao Jin and
               David Abramson and
               Clinton L. Jeffery},
  title     = {Runtime Verification of Scientific Computing: Towards an Extreme Scale},
  booktitle = {ESPT@SC},
  pages     = {26--33},
  publisher = {{IEEE}},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics