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

Publikationer 2013 2019

Filter
Bidrag til rapport
2014

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (red.). Microsoft Research, s. 15-26

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til rapportForskningpeer review