by S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet and M. de Rougemont
Reference:
Probabilistic abstraction for model checking: An approach based on property testing (S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet and M. de Rougemont), In ACM Transactions on Computational Logic, volume 8, 2007.
Bibtex Entry:
@article{llmpr07,
author = {S. Laplante and R. Lassaigne and F. Magniez and S. Peyronnet and M. de Rougemont},
journal = {ACM Transactions on Computational Logic},
number = 4,
pages = 20,
pdf = {./PAPIERS/llmpr-tocl07.pdf},
title = {Probabilistic abstraction for model checking: {An} approach based on property testing},
volume = 8,
year = {2007},
bdsk-url-1 = {./PAPIERS/llmpr-tocl07.pdf}}