doc. RNDr. Tomáš Brázdil, Ph.D., MBA
docent – Katedra strojového učení a zpracování dat
kancelář: S214
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 3922 |
|---|
| sociální a akademické sítě: |
|---|
Počet publikací: 82
2004
-
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), rok: 2004
2002
-
Local Distributed Model Checking of RegCTL
PDMC 2002 Parallel and Distributed Model Checking, rok: 2002