Formal Analysis of Optical Systems. Khan Afshar, S., Siddique, U., Yousri Mahmoud, M., Aravantinos, V., Seddiki, O., Hasan, O., & Tahar, S. Mathematics in Computer Science (MICS), 8(1):39-70, 2014.
Formal Analysis of Optical Systems [link]Paper  bibtex   
@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)}
}

Downloads: 0