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

臺灣期刊 法律公行政治醫事相關財經社會學教育其他

大陸期刊 核心重要期刊

DOI文章

	本站僅提供期刊文獻檢索。　　【月旦知識庫】是否收錄該篇全文，敬請【登入】查詢為準。最新【購點活動】
篇名	Partial-order Algorithm of Model Checking in µ-Predicate Ambient Logic
並列篇名	Partial-order Algorithm of Model Checking in µ-Predicate Ambient Logic
作者	Hua Jiang (Hua Jiang)、Rong-De Lin (Rong-De Lin)、Fu-Min Zou (Fu-Min Zou)、Ling-Xiang Li (Ling-Xiang Li)
起訖頁	156-173
關鍵詞	algorithms and complexity、mobile ambients、model checking、predicate ambient logic
刊名	電腦學刊
期數	201810 (29:5期)
該期刊-上一篇	Cooperative Co-evolution Algorithm with Problem Adaptive Variable Grouping for Large Scale Global Optimization
該期刊-下一篇	A Basin Escaping Auxiliary Function Method for Global Optimization