Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.

Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li

Browse the full TACAS paper archive.