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.
      RIV/00216224:14330/01:00004526 Stať ve sborníku. Teorie informace. angličtina. Německo.
      Klíčová slova anglicky: Model checking; randomized algorithm; depth-first search
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 10. 2001 08:01.
      Podrobněji: https://is.muni.cz/publication/371573/cs