Antônio Carlos Lima de Santana, Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant Anna. Automatic Implementation of Distributed Systems Formal Specifications. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 1424-1429, CSREA Press, 1999.
@inproceedings{SantanaBPSS99,
title = {Automatic Implementation of Distributed Systems Formal Specifications},
author = {Antônio Carlos Lima de Santana and Luiz Henrique Castelo Branco and Antônio Francisco do Prado and Wanderley Lopes de Souza and Marcelo Sant Anna},
year = {1999},
researchr = {https://researchr.org/publication/SantanaBPSS99},
cites = {0},
citedby = {0},
pages = {1424-1429},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
isbn = {1-892512-15-7},
}