ArticleOriginal scientific text

Title

Safety- and liveness-properties in propositional temporal logic: characterizations and decidability

Authors 1

Affiliations

  1. Lehrstuhl für Informatik II, RWTH Aachen, Bundesrepublik Deutschland
Pages:
403-417
Main language of publication
English
Published
1988
Exact and natural sciences