PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vaandrager, Frits W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cost-Optimization of the IPv4 Zeroconf Protocol.

, , , und . DSN, Seite 531-540. IEEE Computer Society, (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.

Prof. Dr. -Ing. Dieter Fritsch University of Stuttgart

Fabian Fritsche University of Stuttgart

Tim W{\"{u}}rtele

Tim W{\"{u}}rtele

Kent W. Stewart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checker aided design of a controller for a wafer scanner., , und . STTT, 8 (6): 633-647 (2006)Modular Specification of Process Algebras., und . Theor. Comput. Sci., 113 (2): 293-348 (1993)The Theory of Timed I/O Automata, Second Edition, , , und . Synthesis Lectures on Distributed Computing Theory Morgan & Claypool Publishers, (2010)Hybrid I/O Automata Revisited., , und . HSCC, Volume 2034 von Lecture Notes in Computer Science, Seite 403-417. Springer, (2001)Normed Simulations., und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 332-344. Springer, (1998)Switched Probabilistic I/O Automata., , , und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 494-510. Springer, (2004)Verification of Printer Datapaths Using Timed Automata., und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 412-423. Springer, (2010)Analysis of the zeroconf protocol using UPPAAL., , und . EMSOFT, Seite 242-251. ACM, (2006)Learning Unions of k-Testable Languages., , und . LATA, Volume 11417 von Lecture Notes in Computer Science, Seite 328-339. Springer, (2019)Proof-Checking a Data Link Protocol., , und . TYPES, Volume 806 von Lecture Notes in Computer Science, Seite 127-165. Springer, (1993)