篇名 |
Partial-order Algorithm of Model Checking in µ-Predicate Ambient Logic
|
---|---|
並列篇名 | Partial-order Algorithm of Model Checking in µ-Predicate Ambient Logic |
作者 | Hua Jiang、Rong-De Lin、Fu-Min Zou、Ling-Xiang Li |
起訖頁 | 156-173 |
關鍵詞 | algorithms and complexity、mobile ambients、model checking、predicate ambient logic |
刊名 | 電腦學刊 |
期數 | 201810 (29:5期) |
DOI |
|
QR Code | |
該期刊 上一篇
| Cooperative Co-evolution Algorithm with Problem Adaptive Variable Grouping for Large Scale Global Optimization |
該期刊 下一篇
| A Basin Escaping Auxiliary Function Method for Global Optimization |