( en | de | ru )

 

Disambiguation of "Burgueño, Augusto"

Author of the publication

copydeleteadd this publication to your clipboard
Task-System Analysis Using Slope-Parametric Hybrid Automata.

, and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1262-1273. Springer, (1997)

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

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 . FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 245-256. Springer, (1998)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)Task-System Analysis Using Slope-Parametric Hybrid Automata., and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1262-1273. Springer, (1997)The power of reachability testing for timed automata., , , and . Theor. Comput. Sci., 300 (1-3): 411-475 (2003)