Jordi Levy和Jaume Agustí-Cullell：用双写系统实现不平等和不确定性规范。(1992) conf/compans/LevyA92 10.1007/3-540-57867-6_15 用双重写系统实现不等式和非确定性规范。 2 乔迪·利维 1 杰姆·阿古斯蒂-卡莱尔 2 252-267 罗盘/ADT 罗盘/ADT 1992 1994 dblp记录“conf/compans/LevyA92”的RDF数据的来源信息 2017-05-20T15:32:47+0200