![](/img/cover-not-exists.png)
[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Verification of initial-state opacity in Petri nets
Tong, Yin, Li, Zhiwu, Seatzu, Carla, Giua, AlessandroYear:
2015
Language:
english
DOI:
10.1109/cdc.2015.7402224
File:
PDF, 435 KB
english, 2015