( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Slope-Parametric Hybrid Automata.

, , , и . HART, том 1201 из Lecture Notes in Computer Science, стр. 75-80. 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.

Augusto Mangini

Augusto Lautz

Augusto Araújo

Augusto Minatta

Augusto Uasuf

 

Другие публикации лиц с тем же именем

Analysis of Slope-Parametric Hybrid Automata., , , и . HART, том 1201 из Lecture Notes in Computer Science, стр. 75-80. Springer, (1997)The Power of Reachability Testing for Timed Automata., , , и . FSTTCS, том 1530 из Lecture Notes in Computer Science, стр. 245-256. Springer, (1998)Model Checking via Reachability Testing for Timed Automata., , и . TACAS, том 1384 из Lecture Notes in Computer Science, стр. 263-280. Springer, (1998)Task-System Analysis Using Slope-Parametric Hybrid Automata., и . Euro-Par, том 1300 из Lecture Notes in Computer Science, стр. 1262-1273. Springer, (1997)Analysis of Moderate and Intense Rainfall Rates Continuously Recorded Over Half a Century and Influence on Microwave Communications Planning and Rain-Rate Data Acquisition., , , и . IEEE Trans. Commun., 35 (4): 382-395 (1987)The power of reachability testing for timed automata., , , и . Theor. Comput. Sci., 300 (1-3): 411-475 (2003)