Asymptotic behaviour in temporal logic
Citation
Asarin , 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.2603158