The temporal logic of branching time (1983)

by M Ben-Ari, A Pnueli, Z Manna
Venue:BAPM83] [GIZ87] [HM85] /Ho187] [Koz82] [Lar86] [L~S8