Výpis publikací

2001

1. Randomization Helps in LTL Model Checking

   BRIM, Luboš, Ivana ČERNÁ a Martin NEČESAL. Randomization Helps in LTL Model Checking. In Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001. Berlin Heidelberg New York: Springer, 2001, s. 105-119. LNCS 2165. ISBN 3-540-42556-X.

   Podrobněji: https://is.muni.cz/publication/371573/cs