"Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation ..."

Kuize Zhang, Xiang Yin, Majid Zamani (2019)

Details and statistics

DOI: 10.1109/TAC.2019.2908726

access: closed

type: Journal Article

metadata version: 2022-12-20