%0 Journal Article %1 journals/jsjkx/XuYCJC16 %A Xu, Sheng %A Ye, Junmin %A Chen, Shu %A Jin, Cong %A Chen, Pan %D 2016 %J 计算机科学 %K dblp %N 5 %P 162-168 %T 运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#XuYCJC16 %V 43

@article{journals/jsjkx/XuYCJC16, added-at = {2020-03-24T00:00:00.000+0100}, author = {Xu, Sheng and Ye, Junmin and Chen, Shu and Jin, Cong and Chen, Pan}, biburl = {https://www.bibsonomy.org/bibtex/2d71b976ae615b76e38dead7ffb354f45/dblp}, ee = {https://doi.org/10.11896/j.issn.1002-137X.2016.05.030}, interhash = {0e940ee99181a1d8a1bb68b19d383cd8}, intrahash = {d71b976ae615b76e38dead7ffb354f45}, journal = {计算机科学}, keywords = {dblp}, number = 5, pages = {162-168}, timestamp = {2020-03-25T11:50:21.000+0100}, title = {运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#XuYCJC16}, volume = 43, year = 2016 }