机译:常量扩充的蜘蛛图的表达性
Visual Modelling Group, University of Brighton, Brighton, UK;
Visual Modelling Group, University of Brighton, Brighton, UK;
Computing Laboratory, University of Kent, Canterbury, UK;
Visual Modelling Group, University of Brighton, Brighton, UK;
diagrammatic logic; visual formalism; formal methods;
机译:关于二阶蜘蛛图的表达性
机译:蜘蛛图和可交换无星常规语言的表达性
机译:蜘蛛图的表现力
机译:蜘蛛图的碎片及其相对表现力
机译:在带有恒温壁的对称沟槽通道中三维流动和强化传热的直接数值模拟。
机译:使用增强和替代沟通的3岁和4岁儿童的动态评估:评估表达语法
机译:常量扩充的蜘蛛图的表达性