![](/img/cover-not-exists.png)
[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Verification of language-based opacity in Petri nets using verifier
Tong, Yin, Ma, Ziyue, Li, Zhiwu, Seactzu, Carla, Giua, AlessandroYear:
2016
Language:
english
DOI:
10.1109/acc.2016.7525005
File:
PDF, 382 KB
english, 2016