Old Web
English
Sign In
Acemap
>
authorDetail
>
Luiz Henrique Castelo Branco
Luiz Henrique Castelo Branco
Federal University of São Carlos
Computer science
Quality assurance
Distributed computing
Formal specification
Formal methods
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automatic Implementation of Distributed Systems Formal Specifications
2000
IPDPS | International Parallel and Distributed Processing Symposium
Luiz Henrique Castelo Branco
Antonio Francisco do Prado
Wanderley Lopes de Souza
Marcelo Sant Anna
Show All
Source
Cite
Save
Citations (0)
Automatic Implementation of Distributed Systems Formal Specifications.
1999
PDPTA | Parallel and Distributed Processing Techniques and Applications
Antônio Carlos Lima de Santana
Luiz Henrique Castelo Branco
Antonio Francisco do Prado
Wanderley Lopes de Souza
Marcelo Sant Anna
Show All
Source
Cite
Save
Citations (0)
1