%0 Conference Paper %1 conf/sc/DinhJAJ16 %A Dinh, Minh Ngoc %A Jin, Chao %A Abramson, David %A Jeffery, Clinton L. %B ESPT@SC %D 2016 %I IEEE %K dblp %P 26-33 %T Runtime Verification of Scientific Computing: Towards an Extreme Scale. %U http://dblp.uni-trier.de/db/conf/sc/espt2016.html#DinhJAJ16 %@ 978-1-5090-3918-0

@inproceedings{conf/sc/DinhJAJ16, added-at = {2023-06-20T00:00:00.000+0200}, author = {Dinh, Minh Ngoc and Jin, Chao and Abramson, David and Jeffery, Clinton L.}, biburl = {https://www.bibsonomy.org/bibtex/277ad84d00edca3ff38c66fae8a0455fe/dblp}, booktitle = {ESPT@SC}, crossref = {conf/sc/2016espt}, ee = {http://dl.acm.org/citation.cfm?id=3018827}, interhash = {d149b99eb5444683bee18cc1ec4fa889}, intrahash = {77ad84d00edca3ff38c66fae8a0455fe}, isbn = {978-1-5090-3918-0}, keywords = {dblp}, pages = {26-33}, publisher = {IEEE}, timestamp = {2024-04-10T13:06:52.000+0200}, title = {Runtime Verification of Scientific Computing: Towards an Extreme Scale.}, url = {http://dblp.uni-trier.de/db/conf/sc/espt2016.html#DinhJAJ16}, year = 2016 }