. . . . . “David M.Williams等人：《ProB中公平性下的模型检查及其在公平交换协议中的应用》（2012）”。 . . _：ID_bf86335d80b4bfc2977c5f05d6e7f581。_：ID_bf86335d80b4bfc2977c5f05d6e7f581 ._：ID_bf86335d80b4bfc2977c5f05d6e7f581 ._：ID_bf86335d80b4bfc2977c5f05d6e7f581“conf/ictac/WilliamsRF12”。 _：ID_c0243ba6e2257005478351d46f95fd9f。_：ID_c0243ba6e2257005478351d46f95fd9f ._：ID_c0243ba6e2257005478351d46f95fd9f ._：ID_c0243ba6e2257005478351d46f95fd9f"10.1007/978-3-642-32943-2_14" . “ProB中公平性下的模型检查及其在公平交换协议中的应用”。 . . . . "3"^^. _：Sig_1d1eee202abf7ef51519c880be853d_1。_：信号_1d1eee202a8b4f7ef51519c880be853d_1 ._：Sig_1d1eee202a8b4f7ef51519c880be853d_1“大卫·M·威廉姆斯”。_：Sig_1d1eee202a8b4f7ef51519c880be853d_1 ._：Sig_1d1eee202a8b4f7ef51519c880be853d_1 ._：信号_1d1eee202a8b4f7ef51519c880be853d_1"1"^^._：Sig_1d1eee202a8b4f7ef51519c880be853d_1 . _：Sig_1d1eee202abf7ef51519c880be853d_2。_：Sig_1d1eee202abf7ef51519c880be853d_2 ._：Sig_1d1eee202abf7ef51519c880be853d_2“Joeri de Ruiter”。_：Sig_1d1eee202abf7ef51519c880be853d_2 ._：Sig_1d1eee202abf7ef51519c880be853d_2 ._：Sig_1d1eee202abf7ef51519c880be853d_2"2"^^._：Sig_1d1eee202abf7ef51519c880be853d_2 . _：Sig_1d1eee202abf7ef51519c880be853d_3。_：Sig_1d1eee202a8b4f7ef51519c880be853d_3 ._：Sig_1d1eee202a8b4f7ef51519c880be853d_3“Wan J.Fokkink”。_：Sig_1d1eee202a8b4f7ef51519c880be853d_3 ._：Sig_1d1eee202a8b4f7ef51519c880be853d_3 ._：Sig_1d1eee202a8b4f7ef51519c880be853d_3"3"^^._：Sig_1d1eee202a8b4f7ef51519c880be853d_3 . . . . "168-182" . “ICTAC”。 “ICTAC”。 "2012"^^. "2012"^^. . “dblp记录'conf/ictac/WilliamsRF12'的RDF数据的起源信息”。 . . . “2021-10-14T10:16:05+0200”。