A+ CATEGORY SCIENTIFIC UNIT

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

Volume 21 / 1988

Wolfgang Thomas Banach Center Publications 21 (1988), 403-417 DOI: 10.4064/-21-1-403-417

Authors

  • Wolfgang Thomas

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image