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 Proceedings of 17th IEEE Symposium on Logic in Computer Science, 2002.
Bibtex Entry:
@inproceedings{llmpr02,
author = {S. Laplante and R. Lassaigne and F. Magniez and S. Peyronnet and M. de Rougemont},
booktitle = {Proceedings of 17th IEEE Symposium on Logic in Computer Science},
pages = {30-39},
pdf = {./PAPIERS/llmpr-lics02.pdf},
title = {Probabilistic abstraction for model checking: {An} approach based on property testing},
year = {2002},
bdsk-url-1 = {./PAPIERS/llmpr-lics02.pdf}}