Carles Hernández, Jaume Abella. LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems. In The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014. pages 1-6, ACM, 2014. [doi]
@inproceedings{HernandezA14, title = {LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems}, author = {Carles Hernández and Jaume Abella}, year = {2014}, doi = {10.1145/2593069.2593155}, url = {http://doi.acm.org/10.1145/2593069.2593155}, researchr = {https://researchr.org/publication/HernandezA14}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014}, publisher = {ACM}, isbn = {978-1-4503-2730-5}, }