مؤتمر
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 |
ردمك: | 0780385098 9780780385092 |
---|---|
DOI: | 10.1109/MEMCOD.2004.1459856 |