Luiz Henrique Castelo Branco

2000
2	EE	Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna: Automatic Implementation of Distributed Systems Formal Specifications. IPDPS Workshops 2000: 1019-1026
1999
1		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. PDPTA 1999: 1424-1429

Coauthor Index

1	Antônio Francisco do Prado	[1] [2]
2	Marcelo Sant'Anna	[1] [2]
3	Antônio Carlos Lima de Santana	[1]
4	Wanderley Lopes de Souza	[1] [2]