%0 Conference Paper %1 conf/ssiri/ZhouLZ12 %A Zhou, Xiaoyu %A Li, Qian %A Zhao, Jianhua %B SERE (Companion) %D 2012 %I IEEE %K dblp %P 158-167 %T A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. %U http://dblp.uni-trier.de/db/conf/ssiri/sere2012c.html#ZhouLZ12 %@ 978-0-7695-4743-5

@inproceedings{conf/ssiri/ZhouLZ12, added-at = {2012-08-20T00:00:00.000+0200}, author = {Zhou, Xiaoyu and Li, Qian and Zhao, Jianhua}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cd594fdfe770ba080493a79a35f425fc/dblp}, booktitle = {SERE (Companion)}, crossref = {conf/ssiri/2012c}, ee = {http://dx.doi.org/10.1109/SERE-C.2012.45}, interhash = {a682b0b0eb61a4e89c3387c9596848ef}, intrahash = {cd594fdfe770ba080493a79a35f425fc}, isbn = {978-0-7695-4743-5}, keywords = {dblp}, pages = {158-167}, publisher = {IEEE}, timestamp = {2016-02-02T16:24:50.000+0100}, title = {A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/sere2012c.html#ZhouLZ12}, year = 2012 }