Powerful Equivalence Checking in the Bank Supply Process

Conference paper

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

June, 2014

Preprint