Nirmal R. Saxena, Edward J. McCluskey. Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums. IEEE Transactions on Computers, 39(4):554-559, 1990.
@article{SaxenaM90,
title = {Control-Flow Checking Using Watchdog Assists and Extended-Precision Checksums},
author = {Nirmal R. Saxena and Edward J. McCluskey},
year = {1990},
tags = {data-flow},
researchr = {https://researchr.org/publication/SaxenaM90},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {39},
number = {4},
pages = {554-559},
}