。 。 。 。 。 “Gian Ntzik等人：容错资源推理（2015）”。 。 。 _：ID_00953238224874075a05415f9c704f08。_：ID_00953238224874075a05415f9c704f08 。_：ID_00953238224874075a05415f9c704f08 。_：ID_00953238224874075a05415f9c704f08“conf/aplas/NtzikPG15”。 _：ID_1c986509b8f97184ad20501119bbbe20。_：ID_1c986509b8f97184ad20501119bbbe20 。_：ID_1c986509b8f97184ad20501119bbbe20 。_：ID_1c986509b8f97184ad20501119bbbe20“10.1007/978-3-319-26529-2_10”。 “容错资源推理”。 。 。 。 。 "3"^^。 _：Sig_1d6002dcc50b974b76d012043f33724c_1。_：Sig_1d6002dcc50b974b76d012043f33724c_1 。_：Sig_1d6002dcc50b974b76d012043f33724c_1“Gian Ntzik”。_：Sig_1d6002dcc50b974b76d012043f33724c_1 。_：Sig_1d6002dcc50b974b76d012043f33724c_1 。_：Sig_1d6002dcc50b974b76d012043f33724c_1“1”^^。_：Sig_1d6002dcc50b974b76d012043f33724c_1 。 _：Sig_1d6002dcc50b974b76d012043f33724c_2。_：Sig_1d6002dcc50b974b76d012043f33724c_2 。_：Sig_1d6002dcc50b974b76d012043f33724c_2“佩德罗·达·罗查·平托”。_：Sig_1d6002dcc50b974b76d012043f33724c_2 。_：Sig_1d6002dcc50b974b76d012043f33724c_2 。_：Sig_1d6002dcc50b974b76d012043f33724c_2"2"^^。_：Sig_1d6002dcc50b974b76d012043f33724c_2 。 _：Sig_1d6002dcc50b974b76d012043f33724c_3。_：Sig_1d6002dcc50b974b76d012043f33724c_3 。_：Sig_1d6002dcc50b974b76d012043f33724c_3“菲利普·加德纳”。_：信号_1d6002dcc50b974b76d012043f33724c_3 。_：Sig_1d6002dcc50b974b76d012043f33724c_3"3"^^。_：Sig_1d6002dcc50b974b76d012043f33724c_3 。 。 。 。 "169-188" . “APLAS”。 “APLAS”。 "2015"^^。 "2015"^^。 。 “dblp记录'conf/aplas/NtzikPG15'的RDF数据的起源信息”。 。 。 。 “2017-06-01T18:58:28+0200”。