|
Search the dblp DataBase
Antônio Carlos Lima de Santana:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 1998, pp:154-163 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1424-1429 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CLEI Electron. J., 2003, v:6, n:1, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|