Formal verification of stability and chaos in periodic optical systems

Publication
Journal of Computer and System Sciences