School of Computer Science, University of Birmingham, Birmingham B15 2TT, United Kingdom;
机译:CSP模型检查中的对称性降低
机译:Rebeca模型检查中的对称和偏序约简技术
机译:Rebeca模型检查中的对称和偏序约简技术
机译:概率模型检查的语言级对称减少
机译:用工程模型和应用程序进行概率符号模型检查。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:概率模型检验的语言级对称性约简
机译:模型检查'Rebeca'中的对称性和偏序降阶技术