Robert M. Hierons, Manuel Núñez. Simulation Relations for Systems with Distributed Interfaces. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 41-50, IEEE Computer Society, 2009. [doi]
@inproceedings{HieronsN09,
title = {Simulation Relations for Systems with Distributed Interfaces},
author = {Robert M. Hierons and Manuel Núñez},
year = {2009},
doi = {10.1109/SEFM.2009.22},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.22},
researchr = {https://researchr.org/publication/HieronsN09},
cites = {0},
citedby = {0},
pages = {41-50},
booktitle = {Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009},
editor = {Dang Van Hung and Padmanabhan Krishnan},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3870-9},
}