( en | de | ru )

 

Disambiguation of "Vaandrager, Frits W."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

, , , , , , , , and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 170-187. Springer, (2008)

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)Learning Unions of k-Testable Languages., , and . LATA, volume 11417 of Lecture Notes in Computer Science, page 328-339. Springer, (2019)Model checker aided design of a controller for a wafer scanner., , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 633-647 (2006)Analysis of the zeroconf protocol using UPPAAL., , and . EMSOFT, page 242-251. ACM, (2006)Verification of Printer Datapaths Using Timed Automata., and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 412-423. Springer, (2010)Expressive Results for Process Algebras.. REX Workshop, volume 666 of Lecture Notes in Computer Science, page 609-638. Springer, (1992)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)Normed Simulations., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 332-344. Springer, (1998)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)