Conference Proceeding
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach 公开 Deposited
https://scholar.colorado.edu/concern/conference_proceedings/r207tq698
- Creator
- Conference Name
- Event Dates
- 2017
- Academic Affiliation
- 贡献者
- Publisher
- 最新修改
- 2022-06-21
- Resource Type
- 权利声明
- DOI
- Language
关联
单件
| 缩略图 | 标题 | 上传日期 | 公开度 | 行动 |
|---|---|---|---|---|
|
|
Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf | 2022-06-21 | 公开 | 下载 |