Contenido Descargable

Descargar PDF
Analytics

Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf Público

File Details

Depositor
Majid Zamani
Date Uploaded
Date Modified
2022-06-21
Fixity Check
Fixity checks have not yet been run on this object
Characterization
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