Jun Pang, Jaco van de Pol, Miguel Valero Espada
Abstraction of Parallel Uniform Processes with Data
SEFM, 2004.
@inproceedings{SEFM-2004-PangPE,
author = "Jun Pang and Jaco van de Pol and Miguel Valero Espada",
booktitle = "{Proceedings of the Second International Conference on Software Engineering and Formal Methods}",
doi = "10.1109/SEFM.2004.4",
isbn = "0-7695-2222-X",
pages = "14--23",
publisher = "{IEEE Computer Society}",
title = "{Abstraction of Parallel Uniform Processes with Data}",
year = 2004,
}