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

Publikationer

Filter
Tidsskriftartikel
2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
8 Downloads (Pure)
2017
Åben adgang

On-the-Fly Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I : Logical Methods in Computer Science. 13, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
25 Downloads (Pure)