@inproceedings{inproceedings, title = {{Simulation Relations for Systems with Distributed Interfaces}}, publisher = {{IEEE}}, url = {{}}, year = {{2009}}, month = {{1}}, author = {{Hierons RM and Núñez M}}, doi = {{10.1109/sefm.2009.22}}, isbn = {{9780769538709}}, journal = {{2009 Seventh IEEE International Conference on Software Engineering and Formal Methods}}, note = {{Accessed on 2024/12/22}}}