Conference Proceeding

 

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

Analytics

Contenuto scaricabile

Scarica il pdf
Citations
https://scholar.colorado.edu/concern/conference_proceedings/r207tq698
Creator
Conference Name
Event Dates
  • 2017
Academic Affiliation
Contributori
Publisher
Ultima modifica
  • 2022-06-21
Resource Type
Dichiarazione dei diritti
DOI
Language

Le relazioni

Elementi

Thumbnail Titolo Data caricata Visibilità Azioni
7h149r25w?file=thumbnail Infinite-step_opacity_of_nondeterministic_finite_transition_systems_A_bisimulation_relation_approach.pdf 2022-06-21 Pubblico Scaricare