@inproceedings{inproceedings, title  = {{Computing the Structural Difference between State-Based Models.}},

 publisher = {{IEEE Computer Society}},

 url = {{https://ieeexplore.ieee.org/xpl/conhome/5328618/proceeding }},

 year = {{2009}},

 month = {{12}},

 author = {{Bogdanov K and Walkinshaw N}},

 doi = {{10.1109/WCRE.2009.17}},

 isbn = {{978-0-7695-3867-9}},

 journal = {{WCRE}},

 pages = {{177-186}},

 note = {{Accessed on 2025/11/02}}}