DMCA
Temporal and modal logic (1995)
by
E. Allen Emerson
Venue: | HANDBOOK OF THEORETICAL COMPUTER SCIENCE |
Citations: | 1289 - 17 self |