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.