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

Jianhua Zhao, Linzhang Wang, Xuandong Li

Browse the full ISoLA paper archive.