Asarin, E ; Bockelet, M ; Degorre, A.. Asarin , E , Bockelet , M , Degorre , A , Dima , C & Mu , C 2014 , Asymptotic behaviour in temporal logic . in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . ACM , pp. 1-9 , Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , Vienna , Austria , 14/07/14 . https://doi.org/10.1145/2603088.2603158.
,
2014