Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach Journal Article uri icon

Overview

publication date

  • December 1, 2019

Date in CU Experts

  • January 8, 2020 6:07 AM

Full Author List

  • Zhang K; Yin X; Zamani M

author count

  • 3

citation count

  • 32

Other Profiles

International Standard Serial Number (ISSN)

  • 0018-9286

Electronic International Standard Serial Number (EISSN)

  • 1558-2523

Additional Document Info

start page

  • 5116

end page

  • 5123

volume

  • 64

issue

  • 12