Asymptotic behaviour in temporal logic.

Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu

Browse the full CSL paper archive.