( en | de | ru )

 

Disambiguation of "Burgueño, Augusto"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking via Reachability Testing for Timed Automata.

, , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 263-280. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Augusto Mangini

Augusto Lautz

Augusto Araújo

Augusto Minatta

Augusto Uasuf

 

Other publications of authors with the same name

The Power of Reachability Testing for Timed Automata., , , and . FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 245-256. Springer, (1998)Analysis of Slope-Parametric Hybrid Automata., , , and . HART, volume 1201 of Lecture Notes in Computer Science, page 75-80. Springer, (1997)Model Checking via Reachability Testing for Timed Automata., , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 263-280. Springer, (1998)The power of reachability testing for timed automata., , , and . Theor. Comput. Sci., 300 (1-3): 411-475 (2003)Analysis and modeling of time intervals between rain rate exceedances in the context of fade dynamics., and . IEEE Trans. Commun., 39 (9): 1306-1312 (1991)Task-System Analysis Using Slope-Parametric Hybrid Automata., and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1262-1273. Springer, (1997)Spectral analysis of 49 years of rainfall rate and relation to fade dynamics., , and . IEEE Trans. Commun., 38 (9): 1359-1366 (1990)Analysis of joint rainfall rate and duration statistics: microwave system design implications., , , and . IEEE Trans. Commun., 36 (6): 650-661 (1988)Analysis of Moderate and Intense Rainfall Rates Continuously Recorded Over Half a Century and Influence on Microwave Communications Planning and Rain-Rate Data Acquisition., , , and . IEEE Trans. Commun., 35 (4): 382-395 (1987)