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

熱門：朱丽彬黃光男王美玲王善边曾瓊瑤崔雪娟

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

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


篇名	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

教師服務合作出版期刊徵稿聯絡高教高教FB	讀者服務圖書目錄教育期刊訂購服務活動訊息	數位服務高等教育知識庫國際資料庫收錄投審稿系統 DOI註冊	線上購買高點網路書店元照網路書店博客來網路書店	教育資源教育網站國際教育網站	關於高教高教簡介出版授權合作單位
知識達	知識達	知識達	知識達	知識達	知識達