Formal verification of stability and chaos in periodic optical systems. Siddique, U. & Tahar, S. Journal of Computer and System Sciences, 88:271–289, Academic Press, 2017.
bibtex   
@article{siddique2017formal,
  title={Formal verification of stability and chaos in periodic optical systems},
  author={Siddique, Umair and Tahar, Sofiene},
  journal={Journal of Computer and System Sciences},
  volume={88},
  pages={271--289},
  year={2017},
  publisher={Academic Press}
}

Downloads: 0