مؤتمر
Probabilistic abstraction for model checking: an approach based on property testing
| العنوان: | Probabilistic abstraction for model checking: an approach based on property testing |
|---|---|
| المؤلفون: | Laplante, S., Lassaigne, R., Magniez, F., Peyronnet, S., de Rougemont, M. |
| المصدر: | Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :30-39 2002 |
| Relation: | Proceedings 17th Annual IEEE Symposium on Logic in Computer Science |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769514839 9780769514833 |
|---|---|
| تدمد: | 10436871 |
| DOI: | 10.1109/LICS.2002.1029815 |