Jounaïdi Ben Hassen, Sofiène Tahar. Formal verification of an SoC platform protocol converter. In ISCAS (4). pages 313-316, 2004.
@inproceedings{HassenT04,
title = {Formal verification of an SoC platform protocol converter},
author = {Jounaïdi Ben Hassen and Sofiène Tahar},
year = {2004},
tags = {protocol},
researchr = {https://researchr.org/publication/HassenT04},
cites = {0},
citedby = {0},
pages = {313-316},
booktitle = {ISCAS (4)},
}