Formal analysis of optical systems. Khan-Afshar, S., Siddique, U., Mahmoud, M. Y., Aravantinos, V., Seddiki, O., Hasan, O., & Tahar, S. Mathematics in Computer Science, 8(1):39–70, Springer Basel, 2014.
bibtex   
@article{khan2014formal,
  title={Formal analysis of optical systems},
  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},
  journal={Mathematics in Computer Science},
  volume={8},
  number={1},
  pages={39--70},
  year={2014},
  publisher={Springer Basel}
}

Downloads: 0