Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Fingeraftryk Dyk ned i forskningsemnerne om 'Complete Axiomatization for the Bisimilarity Distance on Markov Chains'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab