Modalities for Model Checking: Branching Time Strikes Back.

Emerson, E. AllenE. AllenEmersonCHIN-LAUNG LEI2020-06-112020-06-111985https://scholars.lib.ntu.edu.tw/handle/123456789/501420Modalities for Model Checking: Branching Time Strikes Back.conference paper10.1145/318593.318620https://doi.org/10.1145/318593.318620