Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Title
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Authors
- 배경민
- Date Issued
- 2013-06-24
- Publisher
- Rewriting Techniques and Applications
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/71307
- Article Type
- Conference
- Citation
- International Conference on Rewriting Techniques and Applications, 2013-06-24
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.