Conference Papers
Year : 2020
Kamel Barkaoui : Connect in order to contact the contributor
https://hal.science/hal-03130690
Submitted on : Wednesday, February 3, 2021-5:55:36 PM
Last modification on : Wednesday, September 28, 2022-5:58:02 AM
Cite
Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li. Towards Efficient Partial Order Techniques for Time Petri Nets. 14th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2020, Oct 2020, Xian ( virtual), France. pp.100-115, ⟨10.1007/978-3-030-65955-4_8⟩. ⟨hal-03130690⟩
Collections
53
View
0
Download