External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach

Kuize Zhang, Majid Zamani. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 5615-5619, IEEE, 2017. [doi]

Authors

Kuize Zhang

This author has not been identified. Look up 'Kuize Zhang' in Google

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google
runs on