Formal analysis of optical systems

Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiéne Tahar
January 2014
PDF
Type
Journal article
Publication
Mathematics in Computer Science