Zhongkai Ji, Jianguo Ma, Oliver Faust. Formal and Model Driven Design of a High Speed Data Transmission Channel. Journal of Circuits, Systems, and Computers, 22(10), 2013. [doi]
@article{JiMF13, title = {Formal and Model Driven Design of a High Speed Data Transmission Channel}, author = {Zhongkai Ji and Jianguo Ma and Oliver Faust}, year = {2013}, doi = {10.1142/S0218126613400380}, url = {http://dx.doi.org/10.1142/S0218126613400380}, researchr = {https://researchr.org/publication/JiMF13}, cites = {0}, citedby = {0}, journal = {Journal of Circuits, Systems, and Computers}, volume = {22}, number = {10}, }