...
机译:使用静态和动态切割点的Petri网模型的等价检查
Hasso Plattner Inst Potsdam Germany;
Indian Inst Technol Kharagpur W Bengal India;
Indian Inst Technol Kharagpur W Bengal India;
机译:使用静态和动态切入点的程序Petri网模型的等效性检查
机译:使用扩展处理递归的静态仿射程序的等效检查
机译:使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。
机译:基于Petri网程序模型的基于路径的等价性检验方法
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:用扩展处理递归的静态仿射程序的等价性检验