- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Zhang, K.; Zamani, M.
- Titel:
- Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach
- Kongress- / Buchtitel:
- Proceedings of the 56th IEEE Conference on Decision and Control
- Ausrichter der Konferenz:
- IEEE
- Jahr:
- 2017
- Seiten:
- 5615--5619
BibTeX