Martin Nečesal

2001

Luboš Brim, Ivana Černá, and Martin Nečesal:
Randomization Helps in LTL Model Checking.,
Process Algebra and Probabilistic Methods. Performance Modelling and Verification (PAPM-PROBMIV), Springer, 2001, 105–119. [bibtex]