مؤتمر
Powerful Equivalence Checking in the Bank Supply Process
| العنوان: | Powerful Equivalence Checking in the Bank Supply Process |
|---|---|
| المؤلفون: | De Ruvo, G., Santone, A., Raucci, D. |
| المصدر: | 2014 IEEE World Congress on Services Services (SERVICES), 2014 IEEE World Congress on. :87-94 Jun, 2014 |
| Relation: | 2014 IEEE World Congress on Services (SERVICES) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479950683 9781479950690 |
|---|---|
| تدمد: | 23783818 |
| DOI: | 10.1109/SERVICES.2014.25 |