2006 | ||
---|---|---|
1 | EE | Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403 |
1 | Jun Hu | [1] |
2 | Xuandong Li | [1] |
3 | Tao Zhang | [1] |
4 | Jianhua Zhao | [1] |
5 | Guoliang Zheng | [1] |