Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto. Evaluation and improvement of fault coverage for verification and validation of protocols. In SPDP. pages 200-207, 1990. [doi]
@inproceedings{ShenLS90,
title = {Evaluation and improvement of fault coverage for verification and validation of protocols},
author = {Yinan N. Shen and Fabrizio Lombardi and Donatella Sciuto},
year = {1990},
doi = {10.1109/SPDP.1990.143534},
url = {http://dx.doi.org/10.1109/SPDP.1990.143534},
tags = {protocol, coverage},
researchr = {https://researchr.org/publication/ShenLS90},
cites = {0},
citedby = {0},
pages = {200-207},
booktitle = {SPDP},
}