A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.

Jianhua Zhao Linzhang Wang Xuandong Li A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. 262-276 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_19 conf/isola/2008 db/conf/isola/isola2008.html#ZhaoWL08