Deciding safety and liveness in TPTL

David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu. Deciding safety and liveness in TPTL. Inf. Process. Lett., 114(12):680-688, 2014. [doi]

Abstract

Abstract is missing.