Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar. Towards the formal verification of optical interconnects. In IEEE 12th International New Circuits and Systems Conference, NEWCAS 2014, Trois-Rivieres, QC, Canada, June 22-25, 2014. pages 157-160, IEEE, 2014. [doi]
Abstract is missing.