On the Expressive Power of Some Extensions of Linear Temporal Logic
Automatic Control and Computer Sciences - United States
doi 10.3103/s014641161907006x
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 2019
Authors
Publisher
Allerton Press