Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Safa Zouari
Presentasjon
Presentasjon
Navn på arrangementet: YR CONCUR 22
Sted: University of Warsaw
Dato fra:
12. september 2022
Dato til:
12. september 2022
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2022
Beskrivelse
Beskrivelse
Engelsk
Tittel
Logical Characterization of Hereditary History-preserving Bisimulation over Higher Dimensional Automata
Bidragsytere
Bidragsytere
Safa Zouari
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
1
av
1