模型检测 = Model checking

Main Authors: 美 克拉克 Clarke, Edmund M (著); 美 Grumberg Orna (著); 美 Peled Doron A (著)
Group Author: 吴尽昭 (1965-) (译); 何安平 (译); 高新岩 (1976-) (译)
Published: 电子工业出版社
Publication Dates: 2018
Call Number: TP274/4254-1