A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.

Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang

Browse the full QRS paper archive.