A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking | IEEE Conference Publication | IEEE Xplore