. . . . . “Alex Dixon等人：用数据自动机验证高阶并发性。（2021）”。 . . _：ID_2eec24d2cdbc08db885c33fa47e3e3dc。_：ID_2eec24d2cdbc08db885c33fa47e3e3dc ._：ID_2eec24d2cdbc08db885c33fa47e3e3dc ._：ID_2eec24d2cdbc08db885c33fa47e3e3dc“conf/lics/DixonLMW21”。 _：ID_4aef57a4646d0658b58182acf2334ac2。_：ID_4aef57a4646d0658b58182acf2334ac2 ._：ID_4aef57a646d0658b58182acf2334ac2 ._：ID_4aef57a4646d0658b58182acf2334ac2“10.1109/LICS52264.2021.9470691”。 “使用数据自动机验证高阶并发性。”。 . . . . . "4"^^. _：Sig_4bb6f577707f2c1fa527049eeaa70720_1。_：Sig_4bb6f577707f2c1fa527049eeaa70720_1 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_1“亚历克斯·狄克逊”。_：Sig_4bb6f577707f2c1fa527049eeaa70720_1 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_1“1”^^._：Sig_4bb6f577707f2c1fa527049eeaa70720_1 . _：Sig_4bb6f577707f2c1fa527049eeaa70720_2。_：Sig_4bb6f577707f2c1fa527049eeaa70720_2 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_2“Ranko Lazic 0001”。_：Sig_4bb6f577707f2c1fa527049eeaa70720_2 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_2"2"^^._：Sig_4bb6f577707f2c1fa527049eeaa70720_2 . _：Sig_4bb6f577707f2c1fa527049eeaa70720_3。_：Sig_4bb6f577707f2c1fa527049eeaa70720_3 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_3“安德烈·穆拉夫斯基”。_：Sig_4bb6f577707f2c1fa527049eeaa70720_3 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_3"3"^^._：Sig_4bb6f577707f2c1fa527049eeaa70720_3 . _：Sig_4bb6f577707f2c1fa527049eeaa70720_4。_：Sig_4bb6f577707f2c1fa527049eeaa70720_4 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_4“Igor Walukiewicz”。_：Sig_4bb6f577707f2c1fa527049eeaa70720_4 ._：Sig_4bb6f577707f2c1fa527049eeaa70720_4"4"^^._：Sig_4bb6f577707f2c1fa527049eeaa70720_4 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/DixonLMW21'的RDF数据的起源信息”。 . . . “2021-07-22T15:35:06+0200”。