Kothanda Umamageswaran, Krishnan Subramani, Philip A. Wilsey, Perry Alexander. Formal verification and empirical analysis of rollback relaxation. Journal of Systems Architecture, 44(6-7):473-495, 1998. [doi]
@article{UmamageswaranSWA98,
title = {Formal verification and empirical analysis of rollback relaxation},
author = {Kothanda Umamageswaran and Krishnan Subramani and Philip A. Wilsey and Perry Alexander},
year = {1998},
doi = {10.1016/S1383-7621(97)80167-1},
url = {http://dx.doi.org/10.1016/S1383-7621(97)80167-1},
tags = {empirical, analysis},
researchr = {https://researchr.org/publication/UmamageswaranSWA98},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {44},
number = {6-7},
pages = {473-495},
}