Nikhil Shirish Damle, A. G. Keskar. Co-Verification of Networked Embedded System. In First International Conference on Emerging Trends in Engineering and Technology, ICETET '08, Nagpur, Maharashtra, India, July 16-18, 2008. pages 1340-1344, IEEE Computer Society, 2008. [doi]
@inproceedings{DamleK08-0,
title = {Co-Verification of Networked Embedded System},
author = {Nikhil Shirish Damle and A. G. Keskar},
year = {2008},
doi = {10.1109/ICETET.2008.95},
url = {http://doi.ieeecomputersociety.org/10.1109/ICETET.2008.95},
researchr = {https://researchr.org/publication/DamleK08-0},
cites = {0},
citedby = {0},
pages = {1340-1344},
booktitle = {First International Conference on Emerging Trends in Engineering and Technology, ICETET '08, Nagpur, Maharashtra, India, July 16-18, 2008},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3267-7},
}