http://ir.sinica.edu.tw/handle/201000000A/36802| Title: | Proving∀µ -Calculus Properties with SAT-Based Model Checking | Authors: | Bow-Yaw Wang | Issue Date: | 2005 | Related Publication(s): | 技術報告(資訊所) | Relation: | TR-IIS-05-003 | URI: | http://ir.sinica.edu.tw/handle/201000000A/36802 |
| Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
