Luiz Henrique Castelo Branco

	2000
2		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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page