Open Access System for Information Sharing

Login Library

 

Article
Cited 0 time in webofscience Cited 9 time in scopus
Metadata Downloads

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

Title
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
Authors
Bae, KMeseguer, J.
POSTECH Authors
Bae, K
Date Issued
Dec-2012
Publisher
Elsevier
URI
http://oasis.postech.ac.kr/handle/2014.oak/36402
DOI
10.1016/J.ENTCS.2012.11.009
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.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

 BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse