. . . . . 《Marco Bozzano等人：模型检查线性逻辑规范》（2004）。 . . _：ID_823096d1910f88a594d916a57505cee4。_：ID_823096d1910f88a594d916a57505cee4 ._：ID_823096d1910f88a594d916a57505cee4 ._：ID_823096d1910f88a594d916a57505cee4“日记账/tplp/BozzanoDM04”。 _：ID_89ddb63b062647682dd6c938fad0112d。_：ID_89ddb63b062647682dd6c938fad0112d ._：ID_89ddb63b062647682dd6c938fad0112d ._：ID_89ddb63b062647682dd6c938fad0112d“10.1017/S1471068404002066”。 “模型检查线性逻辑规范”。 . . . . "3"^^. _：Sig_34be42337721fa614766c2075b1840a0_1。_：Sig_34be42337721fa614766c2075b1840a0_1 ._：Sig_34be42337721fa614766c2075b1840a0_1“马尔科·博扎诺”。_：Sig_34be42337721fa614766c2075b1840a0_1 ._：Sig_34be42337721fa614766c2075b1840a0_1 ._：Sig_34be42337721fa614766c2075b1840a0_1"1"^^._：Sig_34be42337721fa614766c2075b1840a0_1 . _：Sig_34be42337721fa614766c2075b1840a0_2。_：Sig_34be42337721fa614766c2075b1840a0_2 ._：Sig_34be42337721fa614766c2075b1840a0_2“乔治·德尔扎诺”。_：Sig_34be42337721fa614766c2075b1840a0_2 ._：Sig_34be42337721fa614766c2075b1840a0_2“2”^^._：Sig_34be42337721fa614766c2075b1840a0_2 . _：Sig_34be42337721fa614766c2075b1840a0_3。_：Sig_34be42337721fa614766c2075b1840a0_3 ._：Sig_34be42337721fa614766c2075b1840a0_3“毛里齐奥·马特利”。_：Sig_34be42337721fa614766c2075b1840a0_3 ._：Sig_34be42337721fa614766c2075b1840a0_3"3"^^._：Sig_34be42337721fa614766c2075b1840a0_3 . . . . "573-619" . “理论实践日志程序”。 “理论实践日志程序”。 "4" . "5-6" . "2004"^^. “dblp记录'journals/tplp/BozzanoDM04'的RDF数据的来源信息”。 . . . “2021-10-14T08:50:13+0200”。