带赋值符号迁移图的局部优化算法
| Data(s) |
2000
|
|---|---|
| Resumo |
National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
方海; 许文; 林惠民.带赋值符号迁移图的局部优化算法,计算机研究与发展,2000,37(1):95 |
| Palavras-Chave | #进程代数 #传值进程 #符号互模拟 #验证算法 |
| Tipo |
期刊论文 |
