嵌套谓词等式系与弱互模拟
| Data(s) |
1999
|
|---|---|
| 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 |
林惠民.嵌套谓词等式系与弱互模拟,软件学报,1999,10(11):1121 |
| Palavras-Chave | #传值进程 #互模拟 #谓词等式系 |
| Tipo |
期刊论文 |
