-
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.
RIV/00216224:14330/01:00004526 Proceedings paper. Information theory. English. Germany.
Keywords in English: Model checking; randomized algorithm; depth-first search
Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/10/2001 08:01.