University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Asymptotic behaviour in temporal logic

Simple item page
dc.contributor.authorAsarin, Eugene
dc.contributor.authorBlockelet, Michel
dc.contributor.authorDegorre, Aldric
dc.contributor.authorDima, Catalin
dc.contributor.authorMu, Chunyan
dc.contributor.editorHenzinger, Thomas A.
dc.contributor.editorMiller, Dale
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2023-01-25T10:15:01Z
dc.date.available2023-01-25T10:15:01Z
dc.date.issued2014-07-14
dc.format.extent9
dc.format.extent383091
dc.identifier225686586
dc.identifier67c9e87b-6696-4e57-8dfa-cf66ddfccde7
dc.identifier84905966448
dc.identifier.citationAsarin, 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.2603158en
dc.identifier.doi10.1145/2603088.2603158
dc.identifier.otherBibtex: DBLP:conf/csl/AsarinBDDM14
dc.identifier.otherORCID: /0000-0002-2988-6939/work/127304294
dc.identifier.urihttps://hdl.handle.net/2164/19895
dc.language.isoeng
dc.publisherACM
dc.relation.ispartofThe Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)en
dc.titleAsymptotic behaviour in temporal logicen
dc.typeConference itemen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
lics14.pdf
Size:
374.11 KB
Format:
Adobe Portable Document Format
Download

Collections

All research