Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.

Frank D. Valencia

Browse the full ICLP paper archive.