Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

Model Checking LTLR Formulas under Localized Fairness

Title
Model Checking LTLR Formulas under Localized Fairness
Authors
배경민
Date Issued
2012-03-24
Publisher
ETAPS
URI
https://oasis.postech.ac.kr/handle/2014.oak/72103
Article Type
Conference
Citation
International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24
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