( en | de | ru )

 

Disambiguierung von "Burgueño, Augusto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The power of reachability testing for timed automata.

, , , und . Theor. Comput. Sci., 300 (1-3): 411-475 (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Augusto Mangini

Augusto Lautz

Augusto Araújo

Augusto Minatta

Augusto Uasuf

 

Weitere Publikationen von Autoren mit dem selben Namen

Analysis of Slope-Parametric Hybrid Automata., , , und . HART, Volume 1201 von Lecture Notes in Computer Science, Seite 75-80. Springer, (1997)Model Checking via Reachability Testing for Timed Automata., , und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 263-280. Springer, (1998)The Power of Reachability Testing for Timed Automata., , , und . FSTTCS, Volume 1530 von Lecture Notes in Computer Science, Seite 245-256. Springer, (1998)Task-System Analysis Using Slope-Parametric Hybrid Automata., und . Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 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., , , und . IEEE Trans. Commun., 35 (4): 382-395 (1987)The power of reachability testing for timed automata., , , und . Theor. Comput. Sci., 300 (1-3): 411-475 (2003)