Iterable Forward Reachability Analysis of Monitor-DPNs
Iterable Forward Reachability Analysis of Monitor-DPNs
复制标题
Monitor-DPN 的可迭代前向可达性分析
DOI：
10.4204/eptcs.129.24
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
P. Lammich
中科院分区：
文献类型：
--
作者：
B. Nordhoff;M. Müller-Olm;P. Lammich
登录
查看更多内容
自下而上和自上而下的树变换——比较
DOI：
--
发表时间：
1975
期刊：
Mathematical Systems Theory
影响因子：
--
作者：
J. Engelfriet
通讯作者：
J. Engelfriet
一种解决上下文无关语法问题的高效自动机方法
影响因子：
0.5
作者：
A. Bouajjani;J. Esparza;A. Finkel;O. Maler;P. Rossmanith;Bernard Willems;P. Wolper
通讯作者：
P. Wolper
过程间并行流图上 pre* 和 post* 的高效算法
DOI：
10.1145/325694.325697
发表时间：
2000
期刊：
2012 12th International Conference on Application of Concurrency to System Design
影响因子：
--
作者：
J. Esparza;A. Podelski
通讯作者：
A. Podelski
DOI：
10.1016/s0304-3975(00)00306-6
发表时间：
1998-09
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
D. Lugiez;P. Schnoebelen
通讯作者：
D. Lugiez;P. Schnoebelen
并行程序的最优切片
DOI：
--
发表时间：
2001
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
M. Müller;H. Seidl
通讯作者：
H. Seidl