Model-Checking Counting Temporal Logics on Flat Structures.

Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma

Browse the full CONCUR paper archive.