Conference Proceeding

 

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

Herunterladbarer Inhalt

PDF Herunterladen
https://scholar.colorado.edu/concern/conference_proceedings/r207tq698
Creator
Conference Name
Event Dates
  • 2017
Academic Affiliation
Mitwirkende
Publisher
Zuletzt geändert
  • 2022-06-21
Resource Type
Urheberrechts-Erklärung
DOI
Language

Beziehungen

Artikel