Checking Coverage for Infinite Collections of Timed Scenarios.

S. Akshay, Madhavan Mukund, K. Narayan Kumar

Browse the full CONCUR paper archive.