Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos, Brooks Davis. TESLA: temporally enhanced system logic assertions. In Dick C. A. Bulterman, Herbert Bos, Antony I. T. Rowstron, Peter Druschel, editors, Ninth Eurosys Conference 2014, EuroSys 2014, Amsterdam, The Netherlands, April 13-16, 2014. pages 19, ACM, 2014. [doi]
@inproceedings{AndersonWCGMD14,
title = {TESLA: temporally enhanced system logic assertions},
author = {Jonathan Anderson and Robert N. M. Watson and David Chisnall and Khilan Gudka and Ilias Marinos and Brooks Davis},
year = {2014},
doi = {10.1145/2592798.2592801},
url = {http://doi.acm.org/10.1145/2592798.2592801},
researchr = {https://researchr.org/publication/AndersonWCGMD14},
cites = {0},
citedby = {0},
pages = {19},
booktitle = {Ninth Eurosys Conference 2014, EuroSys 2014, Amsterdam, The Netherlands, April 13-16, 2014},
editor = {Dick C. A. Bulterman and Herbert Bos and Antony I. T. Rowstron and Peter Druschel},
publisher = {ACM},
isbn = {978-1-4503-2704-6},
}