Statistics
Publications
3
Citations
156
H-Index
3
Active since
1988
Affiliations
Augusto Burgueño is an author at Centre National de la Recherche Scientifique specializing in engineering, verification, and formal methods.
Publications per year
1988–2003
3
3
The Power of Reachability Testing for Timed Automata
Luca Aceto, Patricia Bouyer, Augusto Burgueño et al. · BRICS Report Series · 1998 · 12 citations · Full text
1–3 of 3