Open Access System for Information Sharing

Login Library

 

Article
Cited 0 time in webofscience Cited 13 time in scopus
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, KMeseguer, J.
Date Issued
2012-12
Publisher
Elsevier
URI
https://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