Citation Formats
MLA
Zamani, Majid. Infinite-step Opacity of Nondeterministic Finite Transition Systems: A Bisimulation Relation Approach. : IEEE.
APA
Zamani, M. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. : IEEE.
Chicago
Zamani, Majid. Infinite-Step Opacity of Nondeterministic Finite Transition Systems: A Bisimulation Relation Approach. : IEEE.