@incollection{Roy09,
author = {Subir K Roy},
title = {Integration Verification in System on Chips Using Formal Techniques},
booktitle = {Micro Electronic and Mechanical Systems},
publisher = {IntechOpen},
address = {Rijeka},
year = {2009},
editor = {Kenichi Takahata},
chapter = {23},
doi = {10.5772/7022},
url = {https://doi.org/10.5772/7022}
}