Automated temporal reasoning about reactive systems (0)

by A Emerson
Venue:in Moller and Birtwistle [164