Umair Siddique, Sofiène Tahar. Formal verification of stability and chaos in periodic optical systems. J. Comput. Syst. Sci., 88:271-289, 2017. [doi]
@article{SiddiqueT17,
title = {Formal verification of stability and chaos in periodic optical systems},
author = {Umair Siddique and Sofiène Tahar},
year = {2017},
doi = {10.1016/j.jcss.2017.05.004},
url = {https://doi.org/10.1016/j.jcss.2017.05.004},
researchr = {https://researchr.org/publication/SiddiqueT17},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {271-289},
}