Mathias Claus Jensen – Publikationer — Aalborg Universitets forskningsportal

Vis Scopus-profil

Fastnet9940 3223
E-mailmcjecs.aaudk

Selma Lagerløfs Vej 300, 2-1-03
9220 Aalborg Ø
Danmark

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

3 Konferenceartikel i proceeding
1 Tidsskriftartikel

1 resultater

Filter

2020
A complete axiomatization of weighted branching bisimulation
Jensen, M. C. & Larsen, K. G., 1 okt. 2020, I: Acta Informatica. 57, s. 689-725 37 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review