Tomáš Brázdil

2006

Ivana Černá and Tomáš Brázdil:
Model Checking of RegCTL,
Computing and Informatics, 2006. [bibtex]

2004

Tomáš Brázdil, Antonín Kučera, and Oldřich Stražovský:
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems,
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), Springer, 2004, 193-208. [bibtex]

2002

Tomáš Brázdil and Ivana Černá:
Local Distributed Model Checking of RegCTL,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2002. [bibtex]

Jiří Barnat, Tomáš Brázdil, Pavel Krčál, Vojtěch Řehák, and David Šafránek:
Model Checking in IPv6 Hardware Router Design,
2002, 8. [bibtex]