Partial-order Algorithm of Model Checking in µ-Predicate Ambient Logic

臺灣期刊 學校系所學協會民間出版

大陸/海外期刊 政府機關學校系所學協會民間出版

DOI查詢服務 DOI註冊服務


篇名	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	10.3966/199115992018102905012 複製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