Cristin-resultat-ID: 2248940
Sist endret: 22. februar 2024, 16:31
Resultat
Vitenskapelig artikkel
2024

Bisimulations and Logics for Higher-Dimensional Automata

Bidragsytere:
  • Safa Zouari og
  • Uli Fahrenberg

Tidsskrift

arXiv.org
ISSN 2331-8422

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2024
Publisert online: 2024

Lenker

original online (doi)

Beskrivelse Beskrivelse

Tittel

Bisimulations and Logics for Higher-Dimensional Automata

Bidragsytere

Safa Zouari

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

Uli Fahrenberg

  • Tilknyttet:
    Forfatter
1 - 2 av 2