@article{DBLP:journals/corr/AfsharSMASHT14,
  author    = {Sanaz Khan Afshar and
               Umair Siddique and
               Mohamed Yousri Mahmoud and
               Vincent Aravantinos and
               Ons Seddiki and
               Osman Hasan and
               Sofi{\`{e}}ne Tahar},
  title     = {Formal Analysis of Optical Systems},
  journal   = {CoRR},
  volume    = {abs/1403.3039},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.3039},
  archivePrefix = {arXiv},
  eprint    = {1403.3039},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AfsharSMASHT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"uf4tdNy3ibRkfkrjD","bibbaseid":"afshar-siddique-mahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","authorIDs":["2WciMHcRvtktoDA3W"],"author_short":["Afshar, S. K.","Siddique, U.","Mahmoud, M. Y.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Sanaz","Khan"],"propositions":[],"lastnames":["Afshar"],"suffixes":[]},{"firstnames":["Umair"],"propositions":[],"lastnames":["Siddique"],"suffixes":[]},{"firstnames":["Mohamed","Yousri"],"propositions":[],"lastnames":["Mahmoud"],"suffixes":[]},{"firstnames":["Vincent"],"propositions":[],"lastnames":["Aravantinos"],"suffixes":[]},{"firstnames":["Ons"],"propositions":[],"lastnames":["Seddiki"],"suffixes":[]},{"firstnames":["Osman"],"propositions":[],"lastnames":["Hasan"],"suffixes":[]},{"firstnames":["Sofiène"],"propositions":[],"lastnames":["Tahar"],"suffixes":[]}],"title":"Formal Analysis of Optical Systems","journal":"CoRR","volume":"abs/1403.3039","year":"2014","url":"http://arxiv.org/abs/1403.3039","archiveprefix":"arXiv","eprint":"1403.3039","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/AfsharSMASHT14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/AfsharSMASHT14,\n author = {Sanaz Khan Afshar and\n Umair Siddique and\n Mohamed Yousri Mahmoud and\n Vincent Aravantinos and\n Ons Seddiki and\n Osman Hasan and\n Sofi{\\`{e}}ne Tahar},\n title = {Formal Analysis of Optical Systems},\n journal = {CoRR},\n volume = {abs/1403.3039},\n year = {2014},\n url = {http://arxiv.org/abs/1403.3039},\n archivePrefix = {arXiv},\n eprint = {1403.3039},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/AfsharSMASHT14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Afshar, S. K.","Siddique, U.","Mahmoud, M. Y.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"key":"DBLP:journals/corr/AfsharSMASHT14","id":"DBLP:journals/corr/AfsharSMASHT14","bibbaseid":"afshar-siddique-mahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1403.3039"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/52/10785.bib","creationDate":"2020-04-20T05:37:50.352Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","optical","systems","afshar","siddique","mahmoud","aravantinos","seddiki","hasan","tahar"],"title":"Formal Analysis of Optical Systems","year":2014,"dataSources":["fQbALFRGpmYE3aLBG"]}