Downloadable Content

Download PDF

Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf Public

File Details

Majid Zamani
Date Uploaded
Date Modified
Fixity Check
Fixity checks have not yet been run on this object
File Format: pdf (Portable Document Format)
File Title: Infinite-Step Opacity of Nondeterministic Finite Transition Systems: A Bisimulation Relation Approach
Page Count: 5
Original Checksum: 684c6d27996e4f1eab5048a613965f0c
Mime Type: application/pdf
User Activity Date
User Majid Zamani has attached Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf to Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach June 21st, 2022 20:52