@article{bwmeta1.element.zamlynska-837df50a-1b68-4b45-b81b-349c68429b2e,
author = {Wolfgang Thomas},
title = {Safety- and liveness-properties in propositional temporal logic: characterizations and decidability},
journal = {Banach Center Publications},
volume = {21},
year = {1988},
pages = {403-417},
zbl = {0759.03011},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-837df50a-1b68-4b45-b81b-349c68429b2e}
}
Wolfgang Thomas. Safety- and liveness-properties in propositional temporal logic: characterizations and decidability. Banach Center Publications, Tome 21 (1988) pp. 403-417. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-837df50a-1b68-4b45-b81b-349c68429b2e/