Verification for Timed Automata Extended with Unbounded Discrete Data Structures.

Karin Quaas

Browse the full CONCUR paper archive.