Journal Articles
Automatica
Year : 2017
Isabel Demongodin : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01785998
Submitted on : Friday, May 4, 2018-6:16:00 PM
Last modification on : Friday, March 24, 2023-2:53:07 PM
Dates and versions
Identifiers
- HAL Id : hal-01785998 , version 1
- DOI : 10.1016/j.automatica.2017.01.013
Cite
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Decidability of opacity verification problems in labeled Petri net systems. Automatica, 2017, 80, pp.48 - 53. ⟨10.1016/j.automatica.2017.01.013⟩. ⟨hal-01785998⟩
123
View
0
Download