Contenu téléchargeable
Télécharger le fichier PDFInfinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf Public
File Details
- Depositor
- Majid Zamani
- Date Uploaded
- 2022-06-21
- 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 ApproachPage Count: 5Original Checksum: 684c6d27996e4f1eab5048a613965f0cMime 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 |
|