http://ir.sinica.edu.tw/handle/201000000A/38989
Title: | Specification of an Infinite-State Local Model Checker in Rewriting Logic | Authors: | Bow-Yaw Wang | Issue Date: | 2005-07 | Conference: | 17th International Conference on Software Engineering and Knowledge Engineering (Taipei, Taiwan) | URI: | http://ir.sinica.edu.tw/handle/201000000A/38989 |
Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.