Asymptotic behaviour in temporal logic
Files
Date
2014-07-14
Journal Title
Journal ISSN
Volume Title
Publisher
ACM
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