A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems.

Huy Tran, Faiz Ul Muram, Uwe Zdun

Browse the full EDOC paper archive.