Contenuto scaricabile

Scarica il pdf

Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf Pubblico

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