Temporal Logic and Fair Discrete Systems.

Nir Piterman Amir Pnueli Temporal Logic and Fair Discrete Systems. 27-73 2018 Handbook of Model Checking https://doi.org/10.1007/978-3-319-10575-8_2 reference/mc/2018 db/reference/mc/mc2018.html#PitermanP18