{"_id":"9wvqnDFwy43LHYJXL","bibbaseid":"siddique-tahar-formalverificationofstabilityandchaosinperiodicopticalsystems-2017","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Siddique, U.","Tahar, S."],"bibdata":{"bibtype":"article","type":"article","title":"Formal verification of stability and chaos in periodic optical systems","author":[{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["Sofiene"],"suffixes":[]}],"journal":"Journal of Computer and System Sciences","volume":"88","pages":"271–289","year":"2017","publisher":"Academic Press","bibtex":"@article{siddique2017formal,\n title={Formal verification of stability and chaos in periodic optical systems},\n author={Siddique, Umair and Tahar, Sofiene},\n journal={Journal of Computer and System Sciences},\n volume={88},\n pages={271--289},\n year={2017},\n publisher={Academic Press}\n}\n\n","author_short":["Siddique, U.","Tahar, S."],"key":"siddique2017formal","id":"siddique2017formal","bibbaseid":"siddique-tahar-formalverificationofstabilityandchaosinperiodicopticalsystems-2017","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:37:50.281Z","downloads":0,"keywords":[],"search_terms":["formal","verification","stability","chaos","periodic","optical","systems","siddique","tahar"],"title":"Formal verification of stability and chaos in periodic optical systems","year":2017,"dataSources":["uJ4pwb9QCmSwZvTf3"]}