Temporal logic can be more expressive (1983)

by Pierre Wolper
Venue:Information and Control