%0 Journal Article %1 journals/automatica/ZhuLW22 %A Zhu, Guanghui %A Li, Zhiwu %A Wu, Naiqi %D 2022 %J Autom. %K dblp %P 110528 %T Online verification of K-step opacity by Petri nets in centralized and decentralized structures. %U http://dblp.uni-trier.de/db/journals/automatica/automatica145.html#ZhuLW22 %V 145

@article{journals/automatica/ZhuLW22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Zhu, Guanghui and Li, Zhiwu and Wu, Naiqi}, biburl = {https://www.bibsonomy.org/bibtex/23c231fb380ab51a9e1cf5b00c0c4af10/dblp}, ee = {https://www.wikidata.org/entity/Q113879455}, interhash = {ae49e63b2e6f213c92f569017958331c}, intrahash = {3c231fb380ab51a9e1cf5b00c0c4af10}, journal = {Autom.}, keywords = {dblp}, pages = 110528, timestamp = {2024-04-08T18:06:18.000+0200}, title = {Online verification of K-step opacity by Petri nets in centralized and decentralized structures.}, url = {http://dblp.uni-trier.de/db/journals/automatica/automatica145.html#ZhuLW22}, volume = 145, year = 2022 }