Conference Proceeding
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach Public Deposited
https://scholar.colorado.edu/concern/conference_proceedings/r207tq698
- Creator
- Conference Name
- Event Dates
- 2017
- Academic Affiliation
- Contributeurs
- Publisher
- Dernière modification
- 2022-06-21
- Resource Type
- Déclaration de droits
- DOI
- Language
Des relations
Articles
| La vignette | Titre | Date de téléchargement | Visibilité | actes |
|---|---|---|---|---|
|
|
Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf | 2022-06-21 | Public | Télécharger |