Complete Axiomatization for the Bisimilarity Distance on Markov Chains

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

3 Citationer (Scopus)

Søgeresultater