Verification of State-Based Opacity Using Petri Nets

DOI10.1109/TAC.2016.2620429zbMath1369.68265OpenAlexW2538443008MaRDI QIDQ5352631

Could not fetch data.

Publication date: 8 September 2017

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2016.2620429

Mathematics Subject Classification ID

Could not fetch data.