![](/img/cover-not-exists.png)
AN NP-COMPLETE FRAGMENT OF LTL
MUSCHOLL, ANCA, WALUKIEWICZ, IGORVolume:
16
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054105003261
Date:
August, 2005
File:
PDF, 607 KB
english, 2005