模型检测 = Model checking

Main Authors: 美 克拉克 Clarke Jr., Edmund M ((美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著); 美 格伦贝格 Grumberg, Orna; 美 佩莱德 Peled, Doron A
Group Author: 李刚 (译); 宋雨 (译)
Published: 电子工业出版社
Publication Dates: 2016
Call Number: TP274/4254