Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Zhang, K.; Zamani, M.
- Title:
- Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach
- Book / Congress title:
- Proceedings of the 56th IEEE Conference on Decision and Control
- Organization:
- IEEE
- Year:
- 2017
- Pages:
- 5615--5619
BibTeX