On regular temporal logics with past

Download
Full text (published Version) (PDF, 392.3Kb)
Thumbnail
Open access
Author
Dax, Christian
Klaedtke, Felix
Lange, Martin
Date
2010
Type
    Journal Article
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000018378
Publication status
published
External links
Journal / series
Acta informatica
Volume
47(4)
Pages / Article No.
251 - 277
Publisher
Springer
Subject
Linear-time Temporal Logics; Finite-state Model Checking; Alternating Automata; Regular/ω-regular Languages
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Received 12 August 2009, Accepted 8 April 2010, Published online 15 May 2010. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
More
Show all metadata
ETH Bibliography
yes
Altmetrics