模型检验原理 = Principles of model checking

Main Authors: (德) 拜耳 Baier, Christel (著); (德) 卡托恩 Katoen, Joost-Pieter (著)
Group Author: 赵光峰 (译); 李师广 (译); 樊丽丽 (译)
Published: 清华大学出版社
Publication Dates: 2021
Call Number: TP393.021/2514