Filtrování

    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
Zobrazit podrobně