LIAFA, Universite Paris VII CNRS, 2, pl. Jussieu, case 7014 75251 Paris cedex 05, France;
机译:消息序列图的分布式实现
机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:符号消息序列图
机译:决定消息序列图表的属性
机译:带有交叉验证的消息序列图规范。
机译:编码四膜虫hv1(高度进化保守的组蛋白H2A变体与活性基因相关)的信息的序列和特性。
机译:确定消息序列图的属性