![](/img/cover-not-exists.png)
[IEEE Comput. Soc 17th Annual IEEE Symposium on Logic in Computer Science - Copenhagen, Denmark (22-25 July 2002)] Proceedings 17th Annual IEEE Symposium on Logic in Computer Science - Probabilistic abstraction for model checking: an approach based on property testing
Laplante, S., Lassaigne, R., Magniez, F., Peyronnet, S., de Rougemont, M.Year:
2002
Language:
english
DOI:
10.1109/lics.2002.1029815
File:
PDF, 428 KB
english, 2002