Powerful Equivalence Checking in the Bank Supply Process

Publication
In Proceedings of the 10th World Congress on Services (SERVICES 2014), Anchorage, Alaska, USA, 2014, pp 87-94
Date