iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/ssiri/ZhouLZ12.xml
Xiaoyu Zhou Qian Li Jianhua Zhao A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. 158-167 2012 SERE (Companion) https://doi.org/10.1109/SERE-C.2012.45 conf/ssiri/2012c db/conf/ssiri/sere2012c.html#ZhouLZ12