@dblp

Deterministic Temporal Logics and Interval Constraints.

, and . M4M@ICLA, volume 243 of EPTCS, page 23-40. (2017)

Links and resources

Tags