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]
No reviews for this publication, yet.