{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:18:13Z","timestamp":1729653493357,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/newcas.2014.6934007","type":"proceedings-article","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T00:44:26Z","timestamp":1414802666000},"page":"157-160","source":"Crossref","is-referenced-by-count":0,"title":["Towards the formal verification of optical interconnects"],"prefix":"10.1109","author":[{"given":"Sanaz Khan","family":"Afshar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1063\/1.360322"},{"key":"14","first-page":"160","author":"yariv","year":"2006","journal-title":"Photonics Optical Electronics in Modern Communications Chapter 4"},{"journal-title":"Classical Electrodynamics","year":"1998","author":"jackson","key":"11"},{"journal-title":"Formalization of Fabry Perot Resonator in HOL Light","year":"2013","author":"kh afshar","key":"12"},{"year":"2014","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JSTQE.2006.880615"},{"year":"2014","key":"1"},{"key":"10","first-page":"151","article-title":"Formalizing basic complex analysis","volume":"10","author":"harrison","year":"2007","journal-title":"Insight to Proof Festschrift in Honour of Andrzej Trybulec"},{"key":"7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-40672-0_11","article-title":"On the formal analysis of geometrical optics in hol","volume":"7993","author":"siddique","year":"2013","journal-title":"Automated Deduction in Geometry"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06200-6_10"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_17"},{"year":"2014","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031814"},{"journal-title":"Fundamentals of Optoelectronics","year":"1995","author":"pollock","key":"8"}],"event":{"name":"2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)","start":{"date-parts":[[2014,6,22]]},"location":"Trois-Rivieres, QC, Canada","end":{"date-parts":[[2014,6,25]]}},"container-title":["2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6919808\/6933969\/06934007.pdf?arnumber=6934007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T19:26:05Z","timestamp":1498159565000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6934007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/newcas.2014.6934007","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}