Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
Tom 21 / 1988
Banach Center Publications 21 (1988), 403-417
DOI: 10.4064/-21-1-403-417
