Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah. A Toolset for the Specification and Verification of Embedded Systems. In Hamid R. Arabnia, Youngsong Mun, editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4. pages 1539-1545, CSREA Press, 2003.
@inproceedings{RebaiaiaBJH03a,
title = {A Toolset for the Specification and Verification of Embedded Systems},
author = {Mohamed Larbi Rebaiaia and Mohamed Benmohamed and Jihad Mohamad Jaam and Ahmad Hasnah},
year = {2003},
researchr = {https://researchr.org/publication/RebaiaiaBJH03a},
cites = {0},
citedby = {0},
pages = {1539-1545},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4},
editor = {Hamid R. Arabnia and Youngsong Mun},
publisher = {CSREA Press},
isbn = {1-892512-44-0},
}