Symbolic Model Checking of Finite Precision Timed Automata.

Rongjie Yan, Guangyuan Li, Zhisong Tang

Browse the full ICTAC paper archive.