. . . “Bernd Finkbeiner等人：使用前缀树高效监控超属性。（2021）”。 _：ID_ddb7258bd15af012403b1de616268913。_：ID_ddb7258bd15af012403b1de616268913 ._：ID_ddb7258bd15af012403b1de616268913 ._：ID_ddb7258bd15af012403b1de616268913“日记账/corr/abs-2101-07109”。 _：ID_ece914dd1bd002a54ac8dcf5bf347b6。_：ID_ece914dd1bd002a54ac8dcf5bf347b6 ._：ID_ece914dd1bd002a54ac8dcf5bf347b6 ._：ID_ece914dd1bd002a54ac8dcf5bf347b6"2101.07109" . “使用前缀树高效监控超属性。”。 . . . . . "4"^^. _：Sig_ca994468c5ee8b562d1d3cc30aba2457_1。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_1 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_1“Bernd Finkbeiner”。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_1 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_1"1"^^._：Sig_ca994468c5ee8b562d1d3cc30aba2457_1 . _：Sig_ca994468c5ee8b562d1d3cc30aba2457_2。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_2 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_2“克里斯托弗·哈恩”。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_2 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_2“2”^^._：Sig_ca994468c5ee8b562d1d3cc30aba2457_2 . _：Sig_ca994468c5ee8b562d1d3cc30aba2457_3。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_3 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_3“马文·斯坦格”。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_3 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_3"3"^^._：Sig_ca994468c5ee8b562d1d3cc30aba2457_3 . _：Sig_ca994468c5ee8b562d1d3cc30aba2457_4。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_4 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_4“Leander Tentrup”。_：Sig_ca994468c5ee8b562d1d3cc30aba2457_4 ._：Sig_ca994468c5ee8b562d1d3cc30aba2457_4"4"^^._：Sig_ca994468c5ee8b562d1d3cc30aba2457_4 . . . . “CoRR”。 “CoRR”。 “abs/2101.07109”。 "2021"^^. “dblp记录‘journals/corr/abs-2101-07109’的RDF数据的来源信息”。 . . . “2021-01-22T15:16:00+0100”。