{"_id":"RbD4STMi2k2FtSftR","bibbaseid":"khanafshar-siddique-mahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Khan-Afshar, S.","Siddique, U.","Mahmoud, M. Y.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"bibdata":{"bibtype":"article","type":"article","title":"Formal analysis of optical systems","author":[{"propositions":[],"lastnames":["Khan-Afshar"],"firstnames":["Sanaz"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Mahmoud"],"firstnames":["Mohamed","Yousri"],"suffixes":[]},{"propositions":[],"lastnames":["Aravantinos"],"firstnames":["Vincent"],"suffixes":[]},{"propositions":[],"lastnames":["Seddiki"],"firstnames":["Ons"],"suffixes":[]},{"propositions":[],"lastnames":["Hasan"],"firstnames":["Osman"],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["Sofiène"],"suffixes":[]}],"journal":"Mathematics in Computer Science","volume":"8","number":"1","pages":"39–70","year":"2014","publisher":"Springer Basel","bibtex":"@article{khan2014formal,\n title={Formal analysis of optical systems},\n author={Khan-Afshar, Sanaz and Siddique, Umair and Mahmoud, Mohamed Yousri and Aravantinos, Vincent and Seddiki, Ons and Hasan, Osman and Tahar, Sofi{\\`e}ne},\n journal={Mathematics in Computer Science},\n volume={8},\n number={1},\n pages={39--70},\n year={2014},\n publisher={Springer Basel}\n}\n\n","author_short":["Khan-Afshar, S.","Siddique, U.","Mahmoud, M. Y.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"key":"khan2014formal","id":"khan2014formal","bibbaseid":"khanafshar-siddique-mahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:48:19.908Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","optical","systems","khan-afshar","siddique","mahmoud","aravantinos","seddiki","hasan","tahar"],"title":"Formal analysis of optical systems","year":2014,"dataSources":["uJ4pwb9QCmSwZvTf3"]}