Antônio Carlos Lima de Santana

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
j1		Adenilso da Silva Simão, Auri Marcelo Rizzo Vincenzi, Antônio Carlos Lima de Santana: A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electron. J. 6(1) (2003)
	1999
c2		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
	1998
c1		Antônio Carlos Lima de Santana, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna: Automatic Refinement of Distributed Systems Specifications Using Program Transformations. COMPSAC 1998: 154-163

Coauthor Index

1	Luiz Henrique Castelo Branco	[c2]
2	Antônio Francisco do Prado	[c2] [c1]
3	Marcelo Sant'Anna	[c2] [c1]
4	Adenilso da Silva Simão	[j1]
5	Wanderley Lopes de Souza	[c2] [c1]
6	Auri Marcelo Rizzo Vincenzi	[j1]

Last update Sat May 18 14:34:43 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page