Article
Cited 0 time in 
Cited 14 time in 
Cited 14 time in
Metadata Downloads
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting SCOPUS
- Title
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
- Authors
- Bae, K; Meseguer, J.
- Date Issued
- 2012-12
- Publisher
- Elsevier
- ISSN
- 1571-0661
- Article Type
- Article
- Citation
- Electronic Notes in Theoretical Computer Science, vol. 290, page. 19 - 36, 2012-12
- 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