%0 Journal Article %1 journals/tcad/RuchkinSWHL20 %A Ruchkin, Ivan %A Sokolsky, Oleg %A Weimer, James %A Hedaoo, Tushar %A Lee, Insup %D 2020 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 3288-3299 %T Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors. %U http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#RuchkinSWHL20 %V 39

@article{journals/tcad/RuchkinSWHL20, added-at = {2023-01-26T00:00:00.000+0100}, author = {Ruchkin, Ivan and Sokolsky, Oleg and Weimer, James and Hedaoo, Tushar and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/2239302df12dfa2660465bb9239ae8319/dblp}, ee = {https://doi.org/10.1109/TCAD.2020.3012643}, interhash = {c5746170f769a79f41d506cfca216202}, intrahash = {239302df12dfa2660465bb9239ae8319}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {3288-3299}, timestamp = {2024-04-08T19:45:55.000+0200}, title = {Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#RuchkinSWHL20}, volume = 39, year = 2020 }