Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum. Probabilistic model checking of clock domain crossing interfaces. In 10th IEEE International NEWCAS Conference, Montreal, QC, Canada, June 17-20, 2012. pages 193-196, IEEE, 2012. [doi]
@inproceedings{Al-bayatiMSB12,
title = {Probabilistic model checking of clock domain crossing interfaces},
author = {Zaid Al-bayati and Otmane Aït Mohamed and Yvon Savaria and Mounir Boukadoum},
year = {2012},
doi = {10.1109/NEWCAS.2012.6328989},
url = {https://doi.org/10.1109/NEWCAS.2012.6328989},
researchr = {https://researchr.org/publication/Al-bayatiMSB12},
cites = {0},
citedby = {0},
pages = {193-196},
booktitle = {10th IEEE International NEWCAS Conference, Montreal, QC, Canada, June 17-20, 2012},
publisher = {IEEE},
isbn = {978-1-4673-0857-1},
}