Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Infinite-State Model Checking of LTLR Formulas Using Narrowing
- Title
- Infinite-State Model Checking of LTLR Formulas Using Narrowing
- Authors
- 배경민
- Date Issued
- 2014-04-05
- Publisher
- ETAPS
- Article Type
- Conference
- Citation
- INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS, 2014-04-05
- 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.
Communities & Collection
Related Researcher
- 배경민BAE, KYUNGMIN
- Dept of Computer Science & Enginrg