Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed. Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(7):956-972, 1999. [doi]
@article{TaharSCZLM99,
title = {Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs},
author = {Sofiène Tahar and Xiaoyu Song and Eduard Cerny and Zijian Zhou and Michel Langevin and Otmane Aït Mohamed},
year = {1999},
doi = {10.1109/43.771178},
url = {http://doi.ieeecomputersociety.org/10.1109/43.771178},
tags = {modeling},
researchr = {https://researchr.org/publication/TaharSCZLM99},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {18},
number = {7},
pages = {956-972},
}