%0 Conference Paper %1 conf/dac/HernandezA14 %A Hernández, Carles %A Abella, Jaume %B DAC %D 2014 %I ACM %K dblp %P 25:1-25:6 %T LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#HernandezA14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/HernandezA14, added-at = {2023-07-14T00:00:00.000+0200}, author = {Hernández, Carles and Abella, Jaume}, biburl = {https://www.bibsonomy.org/bibtex/293093c0722d3ceb038b81b18bdc28f10/dblp}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593155}, interhash = {dc4bd6822c8060d0a75aa1c1fc9570b9}, intrahash = {93093c0722d3ceb038b81b18bdc28f10}, isbn = {978-1-4503-2730-5}, keywords = {dblp}, pages = {25:1-25:6}, publisher = {ACM}, timestamp = {2024-04-10T06:55:21.000+0200}, title = {LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#HernandezA14}, year = 2014 }