Model Checking Prioritized Timed Automata.

Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen

Browse the full ATVA paper archive.