TY  - JOUR

T1  - Automated comparison of state-based software models in terms of their language and structure

JO  - ACM Transactions on Software Engineering and Methodology

PY  - 2013/03/01

AU  - Walkinshaw N

AU  - Bogdanov K

ED  - 

DO  - DOI: 10.1145/2430545.2430549

VL  - 22

IS  - 2

Y2  - 2024/12/22

ER  -