dc.contributor.author | Asarin, Eugene | |
dc.contributor.author | Blockelet, Michel | |
dc.contributor.author | Degorre, Aldric | |
dc.contributor.author | Dima, Catalin | |
dc.contributor.author | Mu, Chunyan | |
dc.contributor.editor | Henzinger, Thomas A. | |
dc.contributor.editor | Miller, Dale | |
dc.date.accessioned | 2023-11-04T00:07:30Z | |
dc.date.available | 2023-11-04T00:07:30Z | |
dc.date.issued | 2014-07-14 | |
dc.identifier | 225686586 | |
dc.identifier | 67c9e87b-6696-4e57-8dfa-cf66ddfccde7 | |
dc.identifier.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 | en |
dc.identifier.other | Bibtex: DBLP:conf/csl/AsarinBDDM14 | |
dc.identifier.other | ORCID: /0000-0002-2988-6939/work/127304294 | |
dc.identifier.uri | http://aura-test.abdn.ac.uk/handle/2164/19895 | |
dc.format.extent | 9 | |
dc.format.extent | 383091 | |
dc.language.iso | eng | |
dc.publisher | ACM | |
dc.relation.ispartof | The Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | en |
dc.title | Asymptotic behaviour in temporal logic | en |
dc.type | Conference item | en |
dc.contributor.institution | University of Aberdeen.Computing Science | en |
dc.identifier.doi | https://doi.org/10.1145/2603088.2603158 | |