Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach

Work Analytics

4 views since June 21, 2022