. . . . . “Jordi Levy和Jaume Agust\u00ED-Culllell：用双重写系统实现不平等和不确定性规范。（1992）”。 . . _：ID_b973a758dd28dbb712e3b6805750b6b8。_：ID_b973a758dd28dbb712e3b6805750b6b8 ._：ID_b973a758dd28dbb712e3b6805750b6b8 ._：ID_b973a758dd28dbb712e3b6805750b6b8“conf/compans/LevyA92”。 _：ID_d576da2a73d9d934ec5aafce1默认值9。_：ID_d576da2a73d9d934ec5aafce1默认值9 ._：ID_d576da2a73d9d934ec5aafce1默认值9 ._：ID_d576da2a73d9d934ec5aafce1默认值9“10.1007/3-540-57867-6_15”。 “用双重写系统实现不等式和非确定性规范”。 . . . "2"^^. _：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1。_：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1 ._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1“乔迪·利维”。_：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1 ._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1"1"^^._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_1 . _：Sig_d63e77fd7febfeb2fae8724fa13d9fc_2。_：Sig_d63e77fd7feffefb2fae8724fa13d9fc_2 ._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_2“Jaume Agust\u00ED-Culllell”。_：Sig_d63e77fd7febfeb2fae8724fa13d9fc_2 ._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_2"2"^^._：Sig_d63e77fd7febfeb2fae8724fa13d9fc_2 . . . . "252-267" . “指南针/ADT”。 “指南针/ADT”。 "1992"^^. "1994"^^. . “dblp记录'conf/compans/LevyA92'的RDF数据的起源信息”。 . . . “2017-05-20T15:32:47+0200”。