Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach
Conference Proceeding
Overview
publication date
Date in CU Experts
Full Author List
author count
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)