Asymptotic behaviour in temporal logic
Publication date
14/07/2014Metadata
Show full item recordCitation
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