On the relation of programs and computations to models of temporal logic (1995)

by P Wolper
Venue:Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME’04) 1530-1311/04 $20.00 © 2004 IEEE