مؤتمر
Planning equational verification in CCS
| العنوان: | Planning equational verification in CCS |
|---|---|
| المؤلفون: | Monroy, R., Bundy, A., Green, I. |
| المصدر: | Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Automated software engineering Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on. :43-52 1998 |
| Relation: | Proceedings 13th IEEE International Conference on Automated Software Engineering |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818687509 9780818687501 |
|---|---|
| DOI: | 10.1109/ASE.1998.732569 |