مؤتمر
Automated, compositional and iterative deadlock detection
| العنوان: | Automated, compositional and iterative deadlock detection |
|---|---|
| المؤلفون: | Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N. |
| المصدر: | Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :201-210 2004 |
| Relation: | Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE '04 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0780385098 9780780385092 |
|---|---|
| DOI: | 10.1109/MEMCOD.2004.1459856 |