登入選單

返回Google圖書搜尋

Direct Model Checking of Temporal Properties

McMaster University. Communications Research LaboratoryBharadwaj, R. (Ramesh)Trio

出版	Communications Research Laboratory, McMaster University, 1995
URL	http://books.google.com.hk/books?id=QY2QMwEACAAJ&hl=&source=gbs_api