. . . . . “Pedro da Rocha Pinto等人：非阻塞并发的模块化终端验证（2016）”。 . _：ID_9897d0ec7e346e1bf207e013f85c491c。_：ID_9897d0ec7e346e1bf207e013f85c491c ._：ID_9897d0ec7e346e1bf207e013f85c491c ._：ID_9897d0ec7e346e1bf207e013f85c491c ._：ID_9897d0ec7e346e1bf207e013f85c491c“conf/esop/PintoDGS16”。 _：ID_b49b03be14e56b985f9c855c4e9fd8a3。_：ID_b49b03be14e56b985f9c855c4e9fd8a3 ._：ID_b49b03be14e56b985f9c855c4e9fd8a3 ._：ID_b49b03be14e56b985f9c855c4e9fd8a3 ._：ID_b49b03be14e56b985f9c855c4e9fd8a3"10.1007/978-3-662-49498-1_8" . “非阻塞并发的模块化终端验证”。 . . . . . . . . . "4"^^. _：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1“佩德罗·达·罗查·平托”。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1"1"^^._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_1 . _：Sig_b562a19120f7915f0ed2b0b89b1f6c60_2。_：Sig_b562a19120f7915f0ed2b89b1f6c60_2 ._：Sig_b562a19120f7915f0ed2b89b1f6c60_2 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_2“托马斯·丁斯代尔-杨”。_：Sig_b562a19120f7915f0ed2b89b1f6c60_2 ._：Sig_b562a19120f7915f0ed2b89b1f6c60_2"2"^^._：Sig_b562a19120f7915f0ed2b89b1f6c60_2 . _：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3“菲利普·加德纳”。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3"3"^^._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_3 . _：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4“朱利安·萨瑟兰”。_：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4 ._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4"4"^^._：Sig_b562a19120f7915f0ed2b0b89b1f6c60_4 . . . . . . "176-201" . “员工持股计划”。 “员工持股计划”。 "2016"^^. "2016"^^. . “dblp记录'conf/esop/PintoDGS16'的RDF数据的来源信息”。 . . . “2017-06-02T20:47:42+0200”。