Counting CTL.

Franois Laroussinie, Antoine Meyer, Eudes Petonnet

Browse the full FOSSACS paper archive.