School of Computing Science Newcastle University Newcastle upon Tyne, NE1 7RU United Kingdom;
failures; errors; faults; dependability; judgement; occurrence nets; abstraction; formal analysis; deadlock avoidance; atomicity; failure analysis;
机译:眼见为实?比较通过现场共现和DNA条形码方法构建的植物-草食动物网络,以深入了解网络结构
机译:结构化的发生网:帮助系统故障预防和分析技术的形式主义
机译:H_2O-CH_3CN混合溶剂对N-苯基邻苯二甲酰亚胺水合分解速率的影响:N-氨基邻苯二甲酰亚胺在反应路径上发生的光谱和动力学证据
机译:发生净净值,现在:结构性净的路径
机译:重新评估苏格兰西北西北路易西亚前陆的古磁性:一次磁化的发生及其对2.0 Ga的波罗的海-刘易斯拟合的影响。
机译:眼见为实?比较通过现场共现和DNA条形码方法构建的植物-草食动物网络以深入了解网络结构
机译:Soncraft:结构,仿真和结构性净分析的工具
机译:当时和现在的出现网络:结构化出现网络的路径