Partial Order Path Technique for Checking Parallel Timed Automata

Cite this paper

@inproceedings{Zhao2002PartialOP, title={Partial Order Path Technique for Checking Parallel Timed Automata}, author={Jianhua Zhao and He Xu and Xuandong Li and Tao Zheng and Guoliang Zheng}, booktitle={FTRTFT}, year={2002} }