( en | de | ru )

 

Disambiguation of "Vaandrager, Frits W."

Author of the publication

copydeleteadd this publication to your clipboard
The Theory of Timed I/O Automata, Second Edition

, , , and . Synthesis Lectures on Distributed Computing Theory Morgan & Claypool Publishers, (2010)

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.

Frits Kappey

Frits Hendriks

Frits Hendriks

Frits Hendriks

(Frits) Mohren

 

Other publications of authors with the same name

Proof-Checking a Data Link Protocol., , and . TYPES, volume 806 of Lecture Notes in Computer Science, page 127-165. Springer, (1993)Verification of Printer Datapaths Using Timed Automata., and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 412-423. Springer, (2010)Analysis of the zeroconf protocol using UPPAAL., , and . EMSOFT, page 242-251. ACM, (2006)A Theory of History Dependent Abstractions for Learning Interface Automata., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 240-255. Springer, (2012)Learning I/O Automata., and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 71-85. Springer, (2010)Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking., and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 189-203. Springer, (2003)Normed Simulations., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 332-344. Springer, (1998)Expressive Results for Process Algebras.. REX Workshop, volume 666 of Lecture Notes in Computer Science, page 609-638. Springer, (1992)Learning Unions of k-Testable Languages., , and . LATA, volume 11417 of Lecture Notes in Computer Science, page 328-339. Springer, (2019)Modular Specification of Process Algebras., and . Theor. Comput. Sci., 113 (2): 293-348 (1993)