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 | URL: | http://www.iis.sinica.edu.tw/page/library/TechReport/tr2005/tr05003.pdf |
Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.