Formal Analysis of Optical Systems

Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar. Formal Analysis of Optical Systems. Mathematics in Computer Science, 8(1):39-70, 2014. [doi]

Abstract

Abstract is missing.