BibTeX record journals/mics/AfsharSMASHT14

• > Home > journals/mics/AfsharSMASHT14

@article{DBLP:journals/mics/AfsharSMASHT14,
  author       = {Sanaz Khan Afshar and
                  Umair Siddique and
                  Mohamed Yousri Mahmoud and
                  Vincent Aravantinos and
                  Ons Seddiki and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formal Analysis of Optical Systems},
  journal      = {Math. Comput. Sci.},
  volume       = {8},
  number       = {1},
  pages        = {39--70},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11786-014-0175-z},
  doi          = {10.1007/S11786-014-0175-Z},
  timestamp    = {Fri, 09 Apr 2021 18:32:48 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/AfsharSMASHT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}