Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 10.1109/LICS.1990.113764__5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764
LibreCat: https://research-explorer.ista.ac.at/record/4597
DOI: 10.1109/LICS.1990.113764