Asarin, EugeneBlockelet, MichelDegorre, AldricDima, CatalinMu, ChunyanHenzinger, Thomas A.Miller, Dale2023-01-252023-01-252014-07-14Asarin, E, Blockelet, M, Degorre, A, Dima, C & Mu, C 2014, Asymptotic behaviour in temporal logic. in T A Henzinger & D Miller (eds), The Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)., 10, ACM, pp. 1-9. https://doi.org/10.1145/2603088.2603158Bibtex: DBLP:conf/csl/AsarinBDDM14ORCID: /0000-0002-2988-6939/work/127304294https://hdl.handle.net/2164/198959383091engConference item10.1145/2603088.2603158