Giorgio Bacci

Publikationer pr. år

Filter

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 proceeding › Bidrag til rapport › Forskning › peer review

Publikationer