Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 403-417
- ISSN: 0137-6934
Access Full Article
top
How to cite
topWolfgang Thomas. "Safety- and liveness-properties in propositional temporal logic: characterizations and decidability." Banach Center Publications 21.1 (1988): 403-417. <http://eudml.org/doc/268283>.
@article{WolfgangThomas1988,
author = {Wolfgang Thomas},
journal = {Banach Center Publications},
keywords = {safety; liveness; omega-languages; propositional temporal logic; model theory; formal language; semigroup},
language = {eng},
number = {1},
pages = {403-417},
title = {Safety- and liveness-properties in propositional temporal logic: characterizations and decidability},
url = {http://eudml.org/doc/268283},
volume = {21},
year = {1988},
}
TY - JOUR
AU - Wolfgang Thomas
TI - Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 403
EP - 417
LA - eng
KW - safety; liveness; omega-languages; propositional temporal logic; model theory; formal language; semigroup
UR - http://eudml.org/doc/268283
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.