![](/img/cover-not-exists.png)
[IEEE 2014 IEEE World Congress on Services (SERVICES) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE World Congress on Services - Powerful Equivalence Checking in the Bank Supply Process
Ruvo, Giuseppe De, Santone, Antonella, Raucci, DomenicoYear:
2014
Language:
english
DOI:
10.1109/SERVICES.2014.25
File:
PDF, 444 KB
english, 2014