University of Aberdeen logo

AURA - Aberdeen University Research Archive

Browsing by Author "Blockelet, Michel"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Asymptotic behaviour in temporal logic
    (ACM, 2014-07-14) Asarin, Eugene; Blockelet, Michel; Degorre, Aldric; Dima, Catalin; Mu, Chunyan; Henzinger, Thomas A.; Miller, Dale; University of Aberdeen.Computing Science