http://ir.sinica.edu.tw/handle/201000000A/85236| Title: | Thread-Modular Model Checking with Iterative Refinement |
| Authors: | Wenrui Meng Fei He Bow-Yaw Wang Qiang Liu |
| Issue Date: | 2012-04 |
| Conference: | 4th NASA Formal Methods |
| URI: | http://ir.sinica.edu.tw/handle/201000000A/85236 |
| Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.