%0 Journal Article %1 journals/tcad/UrabeM21 %A Urabe, Natsuki %A Majumdar, Rupak %D 2021 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 9 %P 1934-1946 %T Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. %U http://dblp.uni-trier.de/db/journals/tcad/tcad40.html#UrabeM21 %V 40

@article{journals/tcad/UrabeM21, added-at = {2021-09-01T00:00:00.000+0200}, author = {Urabe, Natsuki and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2077f7906d9d95c7e301e51ac8ac2f071/dblp}, ee = {https://doi.org/10.1109/TCAD.2020.3027657}, interhash = {1eda333b344dc9aa5d63a17f1077c3d5}, intrahash = {077f7906d9d95c7e301e51ac8ac2f071}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 9, pages = {1934-1946}, timestamp = {2024-04-08T19:45:55.000+0200}, title = {Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad40.html#UrabeM21}, volume = 40, year = 2021 }