Filter

    2001

    1. Randomization Helps in LTL Model Checking
      BRIM, Luboš; Ivana ČERNÁ and 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, p. 105-119. LNCS 2165. ISBN 3-540-42556-X.
      More: https://is.muni.cz/publication/371573/en
Display details