{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T04:09:32Z","timestamp":1744862972933,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031853555","type":"print"},{"value":"9783031853562","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-85356-2_1","type":"book-chapter","created":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T11:44:16Z","timestamp":1744803856000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of\u00a0Coupled Transmission Lines using Theorem Proving"],"prefix":"10.1007","author":[{"given":"Elif","family":"Deniz","sequence":"first","affiliation":[]},{"given":"Adnan","family":"Rashid","sequence":"additional","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,17]]},"reference":[{"key":"1_CR1","unstructured":"Chipman, R.A.: Theory and Problems of Transmission Lines. McGraw-Hill (1968)"},{"issue":"12","key":"1_CR2","doi-asserted-by":"publisher","first-page":"2957","DOI":"10.1109\/TMTT.2007.909617","volume":"55","author":"T Jensen","year":"2007","unstructured":"Jensen, T., Zhurbenko, V., Krozer, V., Meincke, P.: Coupled transmission lines as impedance transformer. IEEE Trans. Microw. Theory Tech. 55(12), 2957\u20132965 (2007)","journal-title":"IEEE Trans. Microw. Theory Tech."},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TMTT.1958.1124542","volume":"6","author":"SB Cohn","year":"1958","unstructured":"Cohn, S.B.: Parallel-coupled transmission-line-resonator filters. IRE Trans. Microw. Theory Tech. 6(2), 223\u2013231 (1958)","journal-title":"IRE Trans. Microw. Theory Tech."},{"issue":"11","key":"1_CR4","doi-asserted-by":"publisher","first-page":"2406","DOI":"10.1109\/TMTT.2007.907402","volume":"55","author":"LK Yeung","year":"2007","unstructured":"Yeung, L.K., Wu, K.L.: A dual-band coupled-line balun filter. IEEE Trans. Microw. Theory Tech. 55(11), 2406\u20132411 (2007)","journal-title":"IEEE Trans. Microw. Theory Tech."},{"key":"1_CR5","volume-title":"Microwave Engineering","author":"DM Pozar","year":"2011","unstructured":"Pozar, D.M.: Microwave Engineering. Wiley, Hoboken (2011)"},{"issue":"7","key":"1_CR6","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1109\/TMTT.1979.1129704","volume":"27","author":"R Garg","year":"1979","unstructured":"Garg, R., Bahl, I.: Characteristics of coupled microstriplines. IEEE Trans. Microw. Theory Tech. 27(7), 700\u2013705 (1979)","journal-title":"IEEE Trans. Microw. Theory Tech."},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1273","DOI":"10.1109\/TMTT.2020.3041226","volume":"69","author":"J Martel","year":"2020","unstructured":"Martel, J., Fern\u00e1ndez-Prieto, A., del R\u00edo, J.L.M., Mart\u00edn, F., Medina, F.: Design of a differential coupled-line directional coupler using a double-side coplanar waveguide structure with common-signal suppression. IEEE Trans. Microw. Theory Tech. 69(2), 1273\u20131281 (2020)","journal-title":"IEEE Trans. Microw. Theory Tech."},{"key":"1_CR8","volume-title":"RF and Microwave Coupled-Line Circuits","author":"R Mongia","year":"1999","unstructured":"Mongia, R., Bahl, I.J., Bhartia, P.: RF and Microwave Coupled-Line Circuits. Artech House, Norwood (1999)"},{"key":"1_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139199018","volume-title":"Transmission Lines: Equivalent Circuits, Electromagnetic Theory, and Photons","author":"R Collier","year":"2013","unstructured":"Collier, R.: Transmission Lines: Equivalent Circuits, Electromagnetic Theory, and Photons. Cambridge University Press, Cambridge (2013)"},{"key":"1_CR10","volume-title":"Computational Electromagnetics","author":"A Bondeson","year":"2012","unstructured":"Bondeson, A., Rylander, T., Ingelstr\u00f6m, P.: Computational Electromagnetics. Springer, Cham (2012)"},{"key":"1_CR11","volume-title":"The Transmission-line Modeling Method: TLM","author":"C Christopoulos","year":"2012","unstructured":"Christopoulos, C.: The Transmission-line Modeling Method: TLM. Springer, Cham (2012)"},{"key":"1_CR12","unstructured":"Deniz, E., Rashid, A., Hasan, O., Tahar, S.: Formalization of the telegrapher\u2019s equations using higher-order-logic theorem proving. J. Appl. Logics-IfCoLog J. Log. Appl. 11(2) (2024)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"da\u00a0Silva\u00a0Costa, L.G., de\u00a0Queiroz, A.C.M., Adebisi, B., da\u00a0Costa, V.L.R., Ribeiro, M.V.: Coupling for power line communications: a survey. J. Commun. Inf. Syst. 32(1) (2017)","DOI":"10.14209\/jcis.2017.2"},{"key":"1_CR14","unstructured":"Orfanidis, S.J.: Electromagnetic Waves and Antennas. Rutgers University (2002)"},{"key":"1_CR15","volume-title":"Partial Differential Equations: An Introduction","author":"WA Strauss","year":"2007","unstructured":"Strauss, W.A.: Partial Differential Equations: An Introduction. Wiley, Hoboken (2007)"},{"key":"1_CR16","volume-title":"Transmission Lines and Wave Propagation","author":"PC Magnusson","year":"2017","unstructured":"Magnusson, P.C., Weisshaar, A., Tripathi, V.K., Alexander, G.C.: Transmission Lines and Wave Propagation. CRC Press, Boca Raton (2017)"},{"key":"1_CR17","unstructured":"Deniz, E.: Formal verification of coupled transmission lines, HOL Light script (2024). https:\/\/hvg.ece.concordia.ca\/code\/hol-light\/pde\/te\/ctl.ml"},{"key":"1_CR18","unstructured":"HOL Light Multivariate Calculus (2024). https:\/\/github.com\/jrh13\/hol-light\/blob\/master\/Multivariate\/transcendentals.ml"},{"key":"1_CR19","unstructured":"HOL Light Multivariate Calculus (2024). https:\/\/github.com\/jrh13\/hol-light\/blob\/master\/Multivariate\/canal.ml"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-85356-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T11:44:25Z","timestamp":1744803865000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-85356-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031853555","9783031853562"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-85356-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"17 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VECoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification and Evaluation of Computer and Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Djerba","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vecos2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.vecos-world.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}