What good is temporal logic (1983)

by L Lamport
Venue:Proc. IFIP 9th World Congress