. . . . . “Azalea Raad等人：CoLoSL:并发局部主观逻辑（2015）”。 . _：ID_bac850331e17425d0872136151cecdde。_：ID_bac850331e17425d0872136151cecdde ._：ID_bac850331e17425d0872136151cecdde ._：ID_bac850331e17425d0872136151cecdde ._：ID_bac850331e17425d0872136151cecdde“conf/esop/RaadVG15”。 _：ID_5cac3c82fc186e5a8d69865952dd5f82。_：ID_5cac3c82fc186e5a8d69865952 dd5f82 ._：ID_5cac3c82fc186e5a8d69865952 dd5f82 ._：ID_5cac3c82fc186e5a8d69865952 dd5f82 ._：ID_5cac3c82fc186e5a8d69865952 dd5f82"10.1007/978-3-662-46669-8_29" . “CoLoSL:并发局部主观逻辑”。 . . . . . . . "3"^^. _：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1“杜鹃花”。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1"1"^^._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_1 . _：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2 ._：信号_d13c67f06dd0c7a11ee62b1ea1885322_ ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2“朱尔斯·维拉德”。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_2"2"^^._：信号_d13c67f06dd0c7a11ee62b1ea1885322_ . _：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3“菲利普·加德纳”。_：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3 ._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3"3"^^._：Sig_d13c67f06dd0c7a11ee62b1ea1885322_3 . . . . . . "710-735" . “员工持股计划”。 “员工持股计划”。 "2015"^^. "2015"^^. . “dblp记录'conf/esop/RaadVG15'的RDF数据的起源信息”。 . . . “2022-10-02T16:00:35+0200”。