\input zb-basic
\input zb-ioport
\iteman{io-port 70707242}
\itemau{Brim, Lubos; Cern\'a, Ivana; Necesal, Martin}
\itemti{Randomization helps in LTL model checking}
\itemso{PAPM-PROBMIV, 105-119 (2001).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-44804-7\_7}
\end