@article{ dblp2147763,
  title = {Formal Analysis of Optical Systems},
  author = {Sanaz Khan Afshar and Umair Siddique and Mohamed Yousri Mahmoud and Vincent Aravantinos and Ons Seddiki and Osman Hasan and Sofiène Tahar},
  author_short = {Khan Afshar, S. and Siddique, U. and Yousri Mahmoud, M. and Aravantinos, V. and Seddiki, O. and Hasan, O. and Tahar, S.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2147763},
  id = {dblp2147763},
  biburl = {http://www.dblp.org/rec/bibtex/journals/mics/AfsharSMASHT14},
  url = {http://dx.doi.org/10.1007/s11786-014-0175-z},
  journal = {Mathematics in Computer Science (MICS)},
  pages = {39-70},
  number = {1},
  volume = {8},
  text = {Mathematics in Computer Science (MICS) 8(1):39-70 (2014)}
}

{"_id":"X5vKJYHmQDeNuH6At","bibbaseid":"khanafshar-siddique-yousrimahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","downloads":0,"creationDate":"2016-03-10T03:33:30.770Z","title":"Formal Analysis of Optical Systems","author_short":["Khan Afshar, S.","Siddique, U.","Yousri Mahmoud, M.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/mics/AfsharSMASHT14","bibdata":{"title":"Formal Analysis of Optical Systems","author":["Sanaz Khan Afshar","Umair Siddique","Mohamed Yousri Mahmoud","Vincent Aravantinos","Ons Seddiki","Osman Hasan","Sofiène Tahar"],"author_short":["Khan Afshar, S.","Siddique, U.","Yousri Mahmoud, M.","Aravantinos, V.","Seddiki, O.","Hasan, O.","Tahar, S."],"bibtype":"article","type":"article","year":"2014","key":"dblp2147763","id":"dblp2147763","biburl":"http://www.dblp.org/rec/bibtex/journals/mics/AfsharSMASHT14","url":"http://dx.doi.org/10.1007/s11786-014-0175-z","journal":"Mathematics in Computer Science (MICS)","pages":"39-70","number":"1","volume":"8","text":"Mathematics in Computer Science (MICS) 8(1):39-70 (2014)","bibtex":"@article{ dblp2147763,\n title = {Formal Analysis of Optical Systems},\n author = {Sanaz Khan Afshar and Umair Siddique and Mohamed Yousri Mahmoud and Vincent Aravantinos and Ons Seddiki and Osman Hasan and Sofiène Tahar},\n author_short = {Khan Afshar, S. and Siddique, U. and Yousri Mahmoud, M. and Aravantinos, V. and Seddiki, O. and Hasan, O. and Tahar, S.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp2147763},\n id = {dblp2147763},\n biburl = {http://www.dblp.org/rec/bibtex/journals/mics/AfsharSMASHT14},\n url = {http://dx.doi.org/10.1007/s11786-014-0175-z},\n journal = {Mathematics in Computer Science (MICS)},\n pages = {39-70},\n number = {1},\n volume = {8},\n text = {Mathematics in Computer Science (MICS) 8(1):39-70 (2014)}\n}","bibbaseid":"khanafshar-siddique-yousrimahmoud-aravantinos-seddiki-hasan-tahar-formalanalysisofopticalsystems-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11786-014-0175-z"},"downloads":0,"html":""},"search_terms":["formal","analysis","optical","systems","khan afshar","siddique","yousri mahmoud","aravantinos","seddiki","hasan","tahar"],"keywords":[],"authorIDs":["56e0eb0a15daff934a000488"],"dataSources":["ZpWfvcwTgSNtjCEjY"]}