Two-sorted Metric Temporal Logics

Open Webpage

Angelo Montanari, Maarten de Rijke

Published: 1997, Last Modified: 14 Jan 2026Theor. Comput. Sci. 1997EveryoneRevisionsBibTeXCC BY-SA 4.0