Formal verification of stability and chaos in periodic optical systems
From MaRDI portal
Publication:2361358
DOI10.1016/j.jcss.2017.05.004zbMath1371.68181OpenAlexW2614329595MaRDI QIDQ2361358
Publication date: 30 June 2017
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2017.05.004
Specification and verification (program logics, model checking, etc.) (68Q60) Composite media; random media in optics and electromagnetic theory (78A48)
Uses Software
Cites Work