Cristin-resultat-ID: 2270737
Sist endret: 24. mai 2024, 13:04
Resultat
Vitenskapelig foredrag
2022

Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata

Bidragsytere:
  • Safa Zouari

Presentasjon

Navn på arrangementet: YR CONCUR 22
Sted: University of Warsaw
Dato fra: 12. september 2022
Dato til: 12. september 2022

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2022

Beskrivelse Beskrivelse

Tittel

Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata

Bidragsytere

Safa Zouari

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 1 av 1