Manipulating Clocks in Timed Automata Using PVS.

Qingguo Xu, Huaikou Miao

Browse the full SNPD paper archive.