Fingeraftryk
Dyk ned i forskningsemnerne om 'A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Giovanni Bacci, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review