TY - CONF T1 - Simulation Relations for Systems with Distributed Interfaces JO - 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods PY - 2009/01/01 AU - Hierons RM AU - N煤帽ez M ED - DO - DOI: 10.1109/sefm.2009.22 PB - IEEE SN - 9780769538709 Y2 - 2025/03/13 ER -