TY  - RPRT
TI  - Formal Analysis of Optical Systems
AU  - Sanaz Khan-Afshar
AU  - Umair Siddique
AU  - Mohamed Yousri Mahmoud
AU  - Vincent Aravantinos
AU  - Ons Seddiki
AU  - Osman Hasan
AU  - Sofiene Tahar
PY  - 2014
UR  - https://arxiv.org/abs/1403.3039
ID  - 1403.3039
ER  -